Pinned Repositories
alphametic
A solver for verbal arithmetic problems
aoc2022
Advent of Code 2022
autocaster
Use Z3 to find an optimal assignment of applications to roles (for LARP, but usable elsewhere)
gwern.net
Hakyll blog experiments from Gwern Branwen
homebrew
The missing package manager for OS X.
leibniz-rs
muchsync
David Mazières' muchsync
notmuch
notmuch, forked
persistent
Persistence interface for Haskell allowing multiple storage methods.
zampolit
A tool for measuring progress on group writing projects
briansniffen's Repositories
briansniffen/gwern.net
Hakyll blog experiments from Gwern Branwen
briansniffen/zampolit
A tool for measuring progress on group writing projects
briansniffen/autocaster
Use Z3 to find an optimal assignment of applications to roles (for LARP, but usable elsewhere)
briansniffen/notmuch
notmuch, forked
briansniffen/homebrew
The missing package manager for OS X.
briansniffen/muchsync
David Mazières' muchsync
briansniffen/persistent
Persistence interface for Haskell allowing multiple storage methods.
briansniffen/alphametic
A solver for verbal arithmetic problems
briansniffen/aoc2022
Advent of Code 2022
briansniffen/leibniz-rs
briansniffen/lua-filters
A collection of lua filters for pandoc
briansniffen/mastermind
Reflective CLP(FD) with Prolog
briansniffen/relay
Relay is a JavaScript framework for building data-driven React applications.
briansniffen/resume
CV
briansniffen/tls13-spec
TLS 1.3 Specification