philzook58
A pretty cool dude who does things.
Funding Links: https://github.com/sponsors/philzook58
- Name: Philip Zucker
- Location: Boston
- Company: Draper
- Kind: user
- Followers: 393
- Following: 1361
- Total stars: 910
- Repositories count: 158
- Created at: 2022-11-03T02:49:41.814Z
- Updated at: 2025-03-06T23:29:01.346Z
- Last synced at: 2025-03-06T23:29:01.346Z
GitHub Sponsors Profile
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/
- Current Sponsors: 1
- Past Sponsors: 2
- Total Sponsors: 3
- Minimum Sponsorship: $1.00
Featured Works
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Language: Jupyter Notebook - Stars: 160philzook58/FlapPyBird-MPC
Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming
Language: Python - Stars: 77philzook58/nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Language: Coq - Stars: 54philzook58/egglog0
Datalog + Egg = Good
Language: Rust - Stars: 66philzook58/fib-anyon
An implementation of Fibonacci Anyons in Haskell
Language: Haskell - Stars: 22Active Sponsors
breandan
Past Sponsors
gy-hu
Sponsor Breakdown
- User: 2