Nicolas Abril
nicolas-abril
Languages
Repos
58
Stars
11
Forks
3
Top Language
Rust
Loading contributions...
Top Repositories
Simple Lambda Calculus evaluator with hvm-lang syntax
Simple Rowhammer attack PoC for Raspberry Pi 3B+
Simple implementation of Hindley-Milner type inference in Rust
Controlling Thorlabs APT using Python code using APT.dll and APT.lib, bypassing the activex controls
Repositories
58No description provided.
The Simplest Parser Library (that works) in Rust
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
No description provided.
Temporary repository for Kind2's refactor based on HVM2
A receipt generator script that I had to create for my internship
Simple Rowhammer attack PoC for Raspberry Pi 3B+
HVM3 syntax highlighting extension for VSCode
My website
Simple Lambda Calculus evaluator with hvm-lang syntax
HVM3
Controlling Thorlabs APT using Python code using APT.dll and APT.lib, bypassing the activex controls
No description provided.
Simple implementation of Hindley-Milner type inference in Rust
Type inference for safe lambda calculus
Artifacts for "Recursive Program Synthesis using Paramorphisms"
Some handy AI scripts
Agda is a dependently typed programming language / interactive theorem prover.
Cálculo dos juros a partir do acréscimo. Calculation of interest based on the increase.
Kindelia: an efficient, secure cryptocomputer
A massively parallel, optimal functional runtime in Rust
No description provided.
NTNU Design of Digital Systems 1 - 2023/2 - Group 10
No description provided.
O grande líder Optimus
No description provided.
Small application that encodes a message in 2B1Q and sends to another computer
No description provided.
No description provided.
No description provided.