Skip to content



Block or Report


  1. Jupyter notebooks for tutorial on the Z3 SMT solver

    Jupyter Notebook 49 7

  2. An implementation of Fibonacci Anyons in Haskell

    Haskell 17 4

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

    Coq 31 3

  4. Automatic Differentiation using Pseudo Lenses. Neat.

    Haskell 16 1

  5. Explorations in relations and the algebra of programming

    Haskell 14 2

  6. 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

Contribution activity

April 2021

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
1 open

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