Skip to content
Avatar
124 followers · 553 following · 1.5k

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report
  • Block or report user

    Block or report philzook58

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

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

    Report abuse

Pinned

  1. z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

    Jupyter Notebook 49 7

  2. fib-anyon

    An implementation of Fibonacci Anyons in Haskell

    Haskell 17 4

  3. nand2coq

    Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).

    Coq 31 3

  4. ad-lens

    Automatic Differentiation using Pseudo Lenses. Neat.

    Haskell 16 1

  5. rel

    Explorations in relations and the algebra of programming

    Haskell 14 2

  6. FlapPyBird-MPC

    Forked from sourabhv/FlapPyBird

    Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming

    Python 48 8

304 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

April 2021

Created 22 commits in 3 repositories
Created 1 repository

Created a pull request in draperlaboratory/cbat_tools that received 2 comments

External SMT Model Keyword "Model" Bug fix

Relaxed condition looking for keyword "model" in external smt model and enhanced error messages for easier later debugging.

+12 −4 • 2 comments
Reviewed 1 pull request in 1 repository
draperlaboratory/cbat_tools 1 pull request
Opened 1 issue in 1 repository
0x0f0f0f/Metatheory.jl
1 open

Seeing something unexpected? Take a look at the GitHub profile guide.