Language
19 repositories · 806 stars · 201 forks
ACL2 System and Books as Maintained by the Community
Lisp implementation of Lurk.
Simple educational blockchain in Common LIsp
Bitcoin Protocol components in Common Lisp
Former repository for the implementation of the constraint system of Linea
↻Observe-Orient-Decide-Act↩
ACL2 experiments on arithmetic circuits
ABANDONED delineator of pseudonymous payment sets
The Common Lisp OO Resource Machine Demo
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
An old implementation of the Anoma Resource Machine in Common Lisp
RDF representation of Bitcoin time chain data
Prototype and simulation for blockchain 1-1, Group, and Channel Chat
An (ABCL) Common Lisp library to interact with Ethereum
An assembler for the Ethereum Virtual Machine.
A Common Lisp implementation of Ethereum's SSZ (Simple Serialize) protocol
Loam is the Lurk Ontological Abstract Machine. (contact: @porcuquine)
Ethereum interface library in Coalton (Common Lisp)
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.