Pinned Repositories
crcdir
Checksums a directory using crc32
dctorch
diffusion-utils
various useful layers for doing diffusion on image data
Haskell-JSON-Patch
JSON Patch Implementation in Haskell
scheming-machine
Simple little scheme interpreter
tt-provability
Systems for doing provability logic in type theory
vqvae
herald
Pre-alpha end-to-end encrypted instant messenger.
ictp
Inductive consensus tree protocol
KSON
An experiment in highly performant binary serialization.
GallagherCommaJack's Repositories
GallagherCommaJack/Haskell-JSON-Patch
JSON Patch Implementation in Haskell
GallagherCommaJack/scheming-machine
Simple little scheme interpreter