Ben Selfridge's repositories
pathing-help
A simple Slay the Spire mod that displays all paths to the user, along with their stats.
csp-book
Haskell code for Hoare's Communicating Sequential Processes book
model-checking
A model checking tutorial, written in literate Haskell
theorem_proving_in_lean4
Theorem Proving in Lean 4
benjaminselfridge.github.io
Tech blog to put writeups of some of the silly things I do
haggle
An efficient graph library for Haskell
gen-regexp
Generate regular expressions non-stupidly
finite-algebra
Haskell library for playing with small, finite algebraic structures
BESSPIN-Lando
The BESSPIN Lando System Specification Sublanguage.
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
copilot-theorem
A library for using model-checking techiques with Copilot programs
bv-sized-lens
Bitvector lenses for use with the bv-sized library.
crypto-katz-lindell
Reading "Introduction to Modern Cryptography" by Katz/Lindell, implementing whatever I feel like here (in Haskell)
brick
A declarative Unix terminal UI programming library written in Haskell
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
copilot-core
Intermediate representation for Copilot.
copilot-language
Front-end of Copilot defining the user language.
copilot-c99
A C99-backend for Copilot
dockerfile
A Haskell DSL for Generating Dockerfiles
cryptol
Cryptol: The Language of Cryptography
macaw
Open source binary analysis tools.
macaw-loader
Uniform interface to load a binary executable and get Macaw Memory and a list of entry points.
language-c99-simple
Simplified C AST that translates to language-c99
acl2
ACL2 System and Books as Maintained by the Community
mra_tools
Tools to process ARM's Machine Readable Architecture Specification