Jack Gallagher's repositories
tt-provability
Systems for doing provability logic in type theory
linked-slab
A doubly-linked list backed by a slab
cancer
It's terminal.
corona
Coroutine and async/await support for tokio-based futures
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.
lean
Lean Theorem Prover
libhydrogen
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
lsb_text_png_steganography
Hiding text in portable network graphic (PNG) images
LVM
A simple low-level virtual machine, which will eventually compile to EVM.
Math-for-the-rest-of-us
LaTeX code for a series of presentations I'm giving at school
proto_benches
benching alternate protocols for CoEpi CEN generation
rust-libhydrogen
Libhydrogen bindings for Rust.
schedule_recv
Rust timer
SF-TT-PL-HoTT-Talk
Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup
stellaris_mod_sorter
sort stellaris mods alphabetically