π΅βπ«
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