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
cortho
Compiler project for a small core functional language
fpga-tunes
Audio synthesis using an FPGA
match-sticks
Enumerate a constrained set of match sticks
minsky
Minsky Machine implementations in Rust
oxlox
Lox interpreter
presburger
WIP - Library for efficient Presburger Arithmetic
reckonlean
Notes on the Handbook of Practical Logic -- Lean Edition
blt
Lattice-based integer linear programming solver
LIMA
LIMA: Language for Integrated Modeling and Analysis
benjaminfjones's Repositories
benjaminfjones/chatter
benjaminfjones/sage-devel
Sage development code
benjaminfjones/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
benjaminfjones/deck.js
Modern HTML Presentations
benjaminfjones/jzmq
Java binding for 0MQ
benjaminfjones/theseus
A labyrinth adventure game written in Haskell
benjaminfjones/math
Computational Mathematics Projects