Skip to content
Become a sponsor to Philip Zucker
@philzook58

Philip Zucker

philzook58

Hi! I'm Philip Zucker!
I like functional programming, optimal control, physics, formal methods, and long walks on the beach. I produce educational content and fun blog posts from time to time. If you really appreciate them, you can send me a tip, or donate to a charity of your choice and tell me so that I in turn can tell God that I helped when I get into heaven. I've heard that Malaria nets are a good bang for buck https://www.againstmalaria.com/

@philzook58

Put a skip in my step

Featured work

  1. philzook58/z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

    Jupyter Notebook 114
  2. philzook58/FlapPyBird-MPC

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

    Python 61
  3. philzook58/nand2coq

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

    Coq 43
  4. philzook58/egglog

    A prolog like syntax for egg

    Rust 28
  5. philzook58/fib-anyon

    An implementation of Fibonacci Anyons in Haskell

    Haskell 19

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 1 sponsor goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$5 a month

Select
  • Get a Sponsor badge on your profile