Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
ARCs
Aleo Request for Comments (ARCs)
ccl
Clozure Common Lisp
datasharing
The Leek group guide to data sharing
ethereumj
Java implementation of the Ethereum yellowpaper
grammars
Grammar specifications for languages and formats in the Aleo ecosystem.
hd
Algorithms from Hacker's Delight, in Leo
leo
The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications
leo-acl2-bin
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
bendyarm's Repositories
bendyarm/acl2
ACL2 System and Books as Maintained by the Community
bendyarm/ARCs
Aleo Request for Comments (ARCs)
bendyarm/ccl
Clozure Common Lisp
bendyarm/datasharing
The Leek group guide to data sharing
bendyarm/ethereumj
Java implementation of the Ethereum yellowpaper
bendyarm/grammars
Grammar specifications for languages and formats in the Aleo ecosystem.
bendyarm/hd
Algorithms from Hacker's Delight, in Leo
bendyarm/leo
The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications
bendyarm/leo-acl2-bin
bendyarm/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
bendyarm/nanohttpd
Tiny, easily embeddable HTTP server in Java.
bendyarm/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
bendyarm/r1csfile
r1cs file format parser
bendyarm/snarkOS
A Decentralized Operating System for ZK Applications
bendyarm/snarkVM
A Virtual Machine for Zero-Knowledge Executions
bendyarm/tidying-data
Class project for Coursera JHU Getting and Tidying Data
bendyarm/toml
Tom's Obvious, Minimal Language
bendyarm/Virtualization-Documentation
Place to store our documentation, code samples, etc for public consumption.
bendyarm/welcome
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
bendyarm/yellowpaper
The "Yellow Paper": Ethereum's formal specification