James LaMar's repositories
Language:JavaScript000
crucible
Crucible is a library for symbolic simulation of imperative programs
Language:HTML000
cryptol
Cryptol: The Language of Cryptography
Language:HaskellBSD-3-Clause000
dismantle
A library of assemblers and disassemblers derived from LLVM TableGen data
Language:Haskell000
Language:Haskell000
gurp
Nekocafe chatbot 🤖 💬
Language:JavaScript000