Jack Gallagher's repositories
patrie
a trie which skips single-child nodes
proto_benches
benching alternate protocols for CoEpi CEN generation
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.
cancer
It's terminal.
schedule_recv
Rust timer
linked-slab
A doubly-linked list backed by a slab
rulette
a fast and stupid cache with random eviction
stellaris_mod_sorter
sort stellaris mods alphabetically
tarpc
An RPC framework for Rust with a focus on ease of use.
qutex
Synchronization mechanisms based on lock-free queues and Rust futures
libhydrogen
A lightweight, secure, easy-to-use crypto library suitable for constrained environments.
rust-libhydrogen
Libhydrogen bindings for Rust.
corona
Coroutine and async/await support for tokio-based futures
LVM
A simple low-level virtual machine, which will eventually compile to EVM.
may
rust stackful coroutine library
rlua
High level Lua bindings to Rust
may_http
Coroutine based HTTP library for Rust.
lsb_text_png_steganography
Hiding text in portable network graphic (PNG) images
lean
Lean Theorem Prover
tt-provability
Systems for doing provability logic in type theory
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.
SF-TT-PL-HoTT-Talk
Slides for a talk on homotopy type theory for the SF Types Theorems and Programming Languages meetup
Math-for-the-rest-of-us
LaTeX code for a series of presentations I'm giving at school