Pinned Repositories
bv-embed
Define embeddings of small bit vectors into larger ones
concurrency-verification
Haskell rendering of examples from "Concurrency Verification" by de Roever et al.
fifteen
15 puzzle as a haskell tui application
lc3b
An ISA-level assembler/simulator for the LC-3b architecture written in Haskell
logix
Logic Explorer - customizable proof construction tool for sequent calculi
maze
a tui maze game
minesolver
minesweeper game + strategic advice feature
model-checking
A model checking tutorial, written in literate Haskell
propcheck
Proof checker for propositional logic
sample-web-app
A very simple number guessing game web application, using JavaScript/jQuery and Scotty.
benjaminselfridge's Repositories
benjaminselfridge/logix
Logic Explorer - customizable proof construction tool for sequent calculi
benjaminselfridge/model-checking
A model checking tutorial, written in literate Haskell
benjaminselfridge/fifteen
15 puzzle as a haskell tui application
benjaminselfridge/maze
a tui maze game
benjaminselfridge/finite-algebra
Haskell library for playing with small, finite algebraic structures
benjaminselfridge/pathing-help
A simple Slay the Spire mod that displays all paths to the user, along with their stats.
benjaminselfridge/regulate
A Haskell library for working with regular languages and their various representations.
benjaminselfridge/acl2
ACL2 System and Books as Maintained by the Community
benjaminselfridge/benjaminselfridge.github.io
Tech blog to put writeups of some of the silly things I do
benjaminselfridge/BESSPIN-Lando
The BESSPIN Lando System Specification Sublanguage.
benjaminselfridge/brick
A declarative Unix terminal UI programming library written in Haskell
benjaminselfridge/bv-sized-lens
Bitvector lenses for use with the bv-sized library.
benjaminselfridge/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
benjaminselfridge/copilot-c99
A C99-backend for Copilot
benjaminselfridge/copilot-core
Intermediate representation for Copilot.
benjaminselfridge/copilot-language
Front-end of Copilot defining the user language.
benjaminselfridge/copilot-theorem
A library for using model-checking techiques with Copilot programs
benjaminselfridge/crypto-katz-lindell
Reading "Introduction to Modern Cryptography" by Katz/Lindell, implementing whatever I feel like here (in Haskell)
benjaminselfridge/cryptol
Cryptol: The Language of Cryptography
benjaminselfridge/csp-book
Haskell code for Hoare's Communicating Sequential Processes book
benjaminselfridge/dockerfile
A Haskell DSL for Generating Dockerfiles
benjaminselfridge/gen-regexp
Generate regular expressions non-stupidly
benjaminselfridge/haggle
An efficient graph library for Haskell
benjaminselfridge/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
benjaminselfridge/language-c99-simple
Simplified C AST that translates to language-c99
benjaminselfridge/macaw
Open source binary analysis tools.
benjaminselfridge/macaw-loader
Uniform interface to load a binary executable and get Macaw Memory and a list of entry points.
benjaminselfridge/mra_tools
Tools to process ARM's Machine Readable Architecture Specification
benjaminselfridge/notegrind
benjaminselfridge/theorem_proving_in_lean4
Theorem Proving in Lean 4