Ben Selfridge's repositories
model-checking
A model checking tutorial, written in literate Haskell
finite-algebra
Haskell library for playing with small, finite algebraic structures
pathing-help
A simple Slay the Spire mod that displays all paths to the user, along with their stats.
benjaminselfridge.github.io
Tech blog to put writeups of some of the silly things I do
BESSPIN-Lando
The BESSPIN Lando System Specification Sublanguage.
bv-sized-lens
Bitvector lenses for use with the bv-sized library.
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
copilot-c99
A C99-backend for Copilot
copilot-core
Intermediate representation for Copilot.
copilot-language
Front-end of Copilot defining the user language.
copilot-theorem
A library for using model-checking techiques with Copilot programs
crypto-katz-lindell
Reading "Introduction to Modern Cryptography" by Katz/Lindell, implementing whatever I feel like here (in Haskell)
csp-book
Haskell code for Hoare's Communicating Sequential Processes book
dockerfile
A Haskell DSL for Generating Dockerfiles
gen-regexp
Generate regular expressions non-stupidly
language-c99
Implementation of C99's AST and pretty printer in Haskell, strictly following www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
language-c99-simple
Simplified C AST that translates to language-c99
macaw-loader
Uniform interface to load a binary executable and get Macaw Memory and a list of entry points.
theorem_proving_in_lean4
Theorem Proving in Lean 4