benjaminfjones

Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.

AWSPortland, OR

Pinned Repositories

advent-of-code-2019
Advent of Code 2019 Solutions in Haskell and Python
Language:Haskell2 3 00
cortho
Compiler project for a small core functional language
Language:Haskell3 3 00
fpga-tunes
Audio synthesis using an FPGA
Language:Verilog3 3 12
match-sticks
Enumerate a constrained set of match sticks
Language:Python0 3 00
minsky
Minsky Machine implementations in Rust
Language:Rust0 3 00
oxlox
Lox interpreter
Language:Rust00
presburger
WIP - Library for efficient Presburger Arithmetic
Language:Rust3 3 01
reckonlean
Notes on the Handbook of Practical Logic -- Lean Edition
Language:Lean1 2 00
blt
Lattice-based integer linear programming solver
Language:C++65 40 210
LIMA
LIMA: Language for Integrated Modeling and Analysis
Language:Haskell12 5 02

benjaminfjones's Repositories

benjaminfjones/presburger
WIP - Library for efficient Presburger Arithmetic
Language:Rust3 3 01
benjaminfjones/advent-of-code-2022
Language:Perl1 3 01
benjaminfjones/ffpigeon
Simple proof developments of pigeon hole principal like theorems in Lean 4
Language:Lean1 3 0
benjaminfjones/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML1 0 0
benjaminfjones/nixfiles
Personal machine configuration using Nix home-manager
Language:Vim script1 3 0
benjaminfjones/reckonlean
Notes on the Handbook of Practical Logic -- Lean Edition
Language:Lean1 2 00
benjaminfjones/rust-lists
Linked list implementations in Rust
Language:Rust1 2 0
benjaminfjones/tilde-club-bfj
Website and blog hosted at tilde.club
Language:Shell1 1 0
benjaminfjones/match-sticks
Enumerate a constrained set of match sticks
Language:Python0 3 00
benjaminfjones/minsky
Minsky Machine implementations in Rust
Language:Rust0 3 00
benjaminfjones/oxlox
Lox interpreter
Language:Rust00
benjaminfjones/reckoning
Notes on the Handbook of Practical Logic
Language:OCaml0 3 00
benjaminfjones/theorem-proving-lean4
Notes from Theorem Proving in Lean
Language:Lean0 3 00
benjaminfjones/advent-of-code-2020
Advent of Code 2020 - Rust edition
Language:Rust3 0
benjaminfjones/advent-of-code-2021
Advent of Code 2021 - Solutions in Rust
Language:Rust
benjaminfjones/benjaminfjones
Config files for my GitHub profile.
benjaminfjones/benjaminfjones.github.io
GitHub User Site
Language:HTML
benjaminfjones/blt
Lattice-based integer linear programming solver
Language:C++3 0
benjaminfjones/development-ansible
Ansible configuration to provision an open-source development machine
Language:Shell3 0
benjaminfjones/development-container
A container for open-source development
Language:Dockerfile2 0
benjaminfjones/dotfiles
My merged dotfiles
Language:Vim Script2 0
benjaminfjones/kickstart.nvim
A launch point for your personal nvim configuration
Language:Lua
benjaminfjones/lumberjack
Solution to a toy problem about lumberjacks
Language:Java3 0
benjaminfjones/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
benjaminfjones/mil-solutions
Solutions and tinkering with the Mathematics in Lean4 project
Language:Lean1 0
benjaminfjones/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
Language:Rust2 0
benjaminfjones/smt-comp.github.io
Language:HTML0 0
benjaminfjones/smtlib-parser-crab
SMTLIB PEG Parser
Language:Rust3 0
benjaminfjones/stunning-palm-tree
Exercises and Experiments from the book Program Proofs
Language:Dafny3 0
benjaminfjones/toy-puzzles
Various puzzles and SMT solver based solutions
Language:Python