gabriel-barrett

Pinned Repositories

arecibo
Language:Rust0 0 00
bellpepper
SNARK Circuit library
Language:Rust0 0 00
circom-scotia
Language:Rust0 0 00
emacs-dotfiles
Language:Emacs Lisp0 1 00
Formality-CL
Formality language implementation in Common Lisp
Language:Common Lisp0 1 00
Formality-Research
Alternative cores for Formality language.
Language:Haskell0 0 00
guix-configuration
Configuration files of Guix system
Language:Scheme0 1 00
rust-evaluator
Evaluator of lambda calculus written in Rust
Language:Rust1 1 00

gabriel-barrett's Repositories

gabriel-barrett/rust-evaluator
Evaluator of lambda calculus written in Rust
Language:Rust1 1 00
gabriel-barrett/arecibo
Language:Rust0 0 00
gabriel-barrett/bellpepper
SNARK Circuit library
Language:Rust0 0 00
gabriel-barrett/circom-scotia
Language:Rust0 0 00
gabriel-barrett/emacs-dotfiles
Language:Emacs Lisp0 1 00
gabriel-barrett/Formality-CL
Formality language implementation in Common Lisp
Language:Common Lisp0 1 00
gabriel-barrett/Formality-Research
Alternative cores for Formality language.
Language:Haskell0 0 00
gabriel-barrett/guix-configuration
Configuration files of Guix system
Language:Scheme0 1 00
gabriel-barrett/sml-evaluator
Evaluator of lambda calculus written in SML
Language:Standard ML0 1 00
gabriel-barrett/crypto
Naive Haskell implementation of various crypto primitives that make up zkSNARK and STARK.
gabriel-barrett/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Language:Rust0 0
gabriel-barrett/neptune
Rust Poseidon implementation.
Language:Rust0 0
gabriel-barrett/poseidon2
gabriel-barrett/runtime
A runtime for functional languages
Language:Rust
gabriel-barrett/sp1
A performant, 100% open-source, contributor-friendly zkVM.
Language:Rust