π΅βπ«
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
πͺ OCaml - js_of_ocaml
3 repositories
A comparison of Js_of_ocaml libraries for building reactive UIs
Implementation of a language interpreter in the browser, using js_of_ocaml.