Skip to content
View benjaminfjones's full-sized avatar
🔬
trying to find scientist hat
🔬
trying to find scientist hat
53 followers · 11 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report benjaminfjones

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
benjaminfjones/README.md
  • 👋 Hi, I’m Benjamin F Jones, @benjaminfjones
  • 👀 I’m interested in mathematics, formal methods, programming languages, running, and cycling
  • 🌱 I’m currently practicing logic and automated reasoning
  • 💞️ I’m looking to collaborate on looking for the one who is looking
  • 📫 How to reach me benjaminfjones@ GMAIL, bfj@ AMAZON, benjaminfjones@ GITHUB

Pinned Loading

  1. minsky minsky Public

    Minsky Machine implementations in Rust

    Rust

  2. GaloisInc/blt GaloisInc/blt Public

    Lattice-based integer linear programming solver

    C++ 66 10

  3. GaloisInc/LIMA GaloisInc/LIMA Public

    LIMA: Language for Integrated Modeling and Analysis

    Haskell 12 2

  4. oxlox oxlox Public

    Lox interpreter

    Rust

  5. match-sticks match-sticks Public

    Enumerate a constrained set of match sticks

    Python

  6. reckonlean reckonlean Public

    Notes on the Handbook of Practical Logic -- Lean Edition

    Lean 1