π΅βπ«
writing elaborators
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
- Melbourne, Australia
- https://voyager3.tumblr.com
- @[email protected]
- @brendanzab
Pinned Loading
-
yeslogic/fathom
yeslogic/fathom Publicπ§ (Alpha stage software) A declarative data definition language for formally specifying binary data formats. π§
-
language-garden
language-garden PublicA garden of small programming language implementations πͺ΄
-
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.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.