😵💫
writing elaborators
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Stars
📽 Animation
5 repositories
A community-maintained Python framework for creating mathematical animations.
Visualize Your Ideas With Code
Haskell library for building declarative animations based on SVG graphics
A simple, efficient spring animation library for smooth, natural motion in Rust
Programmatic animation engine for creating precise and smooth animations with real-time feedback