Python-native stack for real-life ML robotics

ABC: System for Sequential Logic Synthesis and Formal Verification

Generating and solving holonomy mazes

Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis

Tool for live presentations using manim

Book in preparation: introduction to theoretical computer science