You must be logged in to sponsor Cypher1
Become a sponsor to Jay Pratt
Hi, I'm J. I'm a software engineer living in Sydney.
I work on some open source projects, first and foremost: tako, a small programming language with some neat features (like proofs).
The first goal is to breaking even on tako's development costs (not including my time). This goal should cover a Github account and the takolang.dev domain registration costs.
Featured work
-
Cypher1/tako
An experimental programming language for ergonomic software verification
Rust 15