Eric McCarthy's 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
hd
Algorithms from Hacker's Delight, in Leo
leo
The Leo Programming Language. A Functional, Statically-Typed Language for Zero-Knowledge Applications
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
nanohttpd
Tiny, easily embeddable HTTP server in Java.
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
r1csfile
r1cs file format parser
snarkVM
A Virtual Machine for Zero-Knowledge Executions
tidying-data
Class project for Coursera JHU Getting and Tidying Data
toml
Tom's Obvious, Minimal Language
Virtualization-Documentation
Place to store our documentation, code samples, etc for public consumption.
yellowpaper
The "Yellow Paper": Ethereum's formal specification