Benjamin Jones's repositories
presburger
WIP - Library for efficient Presburger Arithmetic
advent-of-code-2019
Advent of Code 2019 Solutions in Haskell and Python
Fortsetzung
Experiments with Continuations, callCC, and backtracking
advent-of-code-2018
Advent of Code 2018
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
reckonlean
Notes on the Handbook of Practical Logic -- Lean Edition
rust-lists
Linked list implementations in Rust
match-sticks
Enumerate a constrained set of match sticks
minsky
Minsky Machine implementations in Rust
oxlox
Lox interpreter
reckoning
Notes on the Handbook of Practical Logic
theorem-proving-lean4
Notes from Theorem Proving in Lean
advent-of-code-2020
Advent of Code 2020 - Rust edition
advent-of-code-2021
Advent of Code 2021 - Solutions in Rust
benjaminfjones
Config files for my GitHub profile.
benjaminfjones.github.io
GitHub User Site
development-ansible
Ansible configuration to provision an open-source development machine
development-container
A container for open-source development
dotfiles
My merged dotfiles
kickstart.nvim
A launch point for your personal nvim configuration
lumberjack
Solution to a toy problem about lumberjacks
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
smtlib-parser-crab
SMTLIB PEG Parser
stunning-palm-tree
Exercises and Experiments from the book Program Proofs
toy-puzzles
Various puzzles and SMT solver based solutions