π΅βπ«
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
Pinned Loading
-
language-garden
language-garden PublicA garden of small programming language implementations πͺ΄
-
yeslogic/fathom
yeslogic/fathom Publicπ§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
-
pikelet-lang/pikelet
pikelet-lang/pikelet PublicA friendly little systems language with first-class types. Very WIP! π§ π§ π§
-
rustgd/cgmath
rustgd/cgmath PublicA linear algebra and mathematics library for computer graphics.
660 contributions in the last year
Day of Week | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
brendanzab/language-garden,
yeslogic/fathom-experiments,
yallop/ocaml-integers
and 9 other
repositories
Loading