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/tt-provability
Systems for doing provability logic in type theory
GallagherCommaJack/crcdir
Checksums a directory using crc32
GallagherCommaJack/contact
distributed contact tracing
GallagherCommaJack/linked-slab
A doubly-linked list backed by a slab
GallagherCommaJack/markets
markets
GallagherCommaJack/pushpop
A POP3 implementation in Rust
GallagherCommaJack/types-in-types
GallagherCommaJack/cancer
It's terminal.
GallagherCommaJack/corona
Coroutine and async/await support for tokio-based futures
GallagherCommaJack/haskell-tt
GallagherCommaJack/HoTT-Learning
I'm working through the HoTT book, and posting the solutions publicly will probably motivate me to make my solutions clean enough to not be ashamed of them.
GallagherCommaJack/lean
Lean Theorem Prover
GallagherCommaJack/libhydrogen
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
GallagherCommaJack/lsb_text_png_steganography
Hiding text in portable network graphic (PNG) images
GallagherCommaJack/LVM
A simple low-level virtual machine, which will eventually compile to EVM.
GallagherCommaJack/Math-for-the-rest-of-us
LaTeX code for a series of presentations I'm giving at school
GallagherCommaJack/may
rust stackful coroutine library
GallagherCommaJack/may_http
Coroutine based HTTP library for Rust.
GallagherCommaJack/patrie
a trie which skips single-child nodes
GallagherCommaJack/proto_benches
benching alternate protocols for CoEpi CEN generation
GallagherCommaJack/qutex
Synchronization mechanisms based on lock-free queues and Rust futures
GallagherCommaJack/rlua
High level Lua bindings to Rust
GallagherCommaJack/rulette
a fast and stupid cache with random eviction
GallagherCommaJack/rust-libhydrogen
Libhydrogen bindings for Rust.
GallagherCommaJack/schedule_recv
Rust timer
GallagherCommaJack/sequence
GallagherCommaJack/SF-TT-PL-HoTT-Talk
Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup
GallagherCommaJack/stellaris_mod_sorter
sort stellaris mods alphabetically
GallagherCommaJack/tarpc
An RPC framework for Rust with a focus on ease of use.
GallagherCommaJack/xcompress
XCompress is a free file archiver utility on Linux, providing multi-format archiving to and extracting from ZIP, Z, GZIP, BZIP2, LZ, XZ, LZMA, 7ZIP, TAR, RAR and ZSTD.