Noah Luther's starred repositories
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
awesome-crypto-papers
A curated list of cryptography papers, articles, tutorials and howtos.
dash-at-point
a emacs lisp for searching the word at point with Dash
veri-titan
Verifying OpenTitan
coq-tricks
Tricks you wish the Coq manual told you
company-coq
A Coq IDE build on top of Proof General's Coq mode
circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
EcneProject
Ecne: An engine for verifying the soundness of R1CS constraints
fiat-crypto
Cryptographic Primitive Code Generation by Fiat