Pinned Repositories
ad-lens
Automatic Differentiation using Pseudo Lenses. Neat.
awesome-egraphs
An awesome list of e-graph resources
cart_pole
A physical and virtual cartpole
duckegg
An experiment in using DuckDB for a datalog / egg
egglog0
Datalog + Egg = Good
fib-anyon
An implementation of Fibonacci Anyons in Haskell
FlapPyBird-MPC
Model Predictive Control of a Flappy Bird Clone using Mixed Integer Programming
knuckledragger
Semi-Automated Python Proof Assistant
nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
philzook58's Repositories
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
philzook58/awesome-egraphs
An awesome list of e-graph resources
philzook58/knuckledragger
Semi-Automated Python Proof Assistant
philzook58/duckegg
An experiment in using DuckDB for a datalog / egg
philzook58/pcode2c
Convert low ghidra pcode to verifiable C
philzook58/eggmt
Egraphs Modulo Theories
philzook58/prologsolvers
Copies of prolog solvers for use from python
philzook58/philzook58.github.io
My Blog
philzook58/egraphs2024-talk
philzook58/egglogpy
Experiment in egglog python api
philzook58/extraction-gym
benchmarking e-graph extraction
philzook58/pyeprover
A simple repackaging of the E automated theorem prover for ease of installation and execution from python
philzook58/pyvampire
A simple repackaging of the Vampire automated theorem prover
philzook58/res-rs
philzook58/solvers
A solver dump
philzook58/arip
philzook58/bril
an educational compiler intermediate representation
philzook58/compact-php
A proof of a finitary pigeon hole principle via compactness and the infinitary version, in Lean.
philzook58/copyboot
A copy of a simple bootloader from thesis
philzook58/datalog-asp-tut
Datalog / Answer Set Programming tutorial
philzook58/doodlescript
philzook58/holpy
Implementation of higher-order logic in Python
philzook58/holpy-wrapper
philzook58/jupyterlite-demo
philzook58/PyRes
Pedagogical first-order prover in Python
philzook58/PyRes-wrapper
Wrapper to install PyRes as library and executables
philzook58/TPDB
The Termination Problem Database
philzook58/twee
An equational theorem prover based on Knuth-Bendix completion
philzook58/vr_experiments
philzook58/z3
The Z3 Theorem Prover