benjaminfjones
Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.
AWSPortland, OR
benjaminfjones's Stars
glossyio/traffic-monitor
Traffic Monitor built with edge ML for object detection and radar for speed monitoring
tyler-utah/Murphi2019
A home for the classic model checking tool with the intention to keep it maintained for current systems
aws-samples/aws-batch-comp-infrastructure-sample
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
benjaminfjones/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
leanprover-community/mathlib4
The math library of Lean 4
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
fsspec/filesystem_spec
A specification that python filesystems should adhere to.
jrh13/hol-light
The HOL Light theorem prover
arminbiere/cadical
CaDiCaL SAT Solver
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
CleverRaven/Cataclysm-DDA
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
AeneasVerif/aeneas
A verification toolchain for Rust programs
bitwuzla/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
arminbiere/kissat
crisperdue/practical-logic
Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
astral-sh/rye
a Hassle-Free Python Experience
GaloisInc/language-sally
AST and pretty printer for the Sally input language
andrejbauer/spartan-type-theory
Spartan type theory
nvim-lua/kickstart.nvim
A launch point for your personal nvim configuration
alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
glguy/advent
Advent of Code complete solution archive and common library
glguy/advent2021
Haskell solutions for https://adventofcode.com/2021/
nvim-telescope/telescope.nvim
Find, Filter, Preview, Pick. All lua, all the time.
nvim-treesitter/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
climech/grit
Multitree-based personal task manager
awslabs/s2n-bignum
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
chaimleib/intervaltree
A mutable, self-balancing interval tree. Queries may be by point, by range overlap, or by range containment.
lervag/wiki.vim
A wiki plugin for Vim