This is your work, valued
Software Engineer @metageek-llc. Obsessed with programming languages, especially types and formal verification
mariohtml5. Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements
522wort. A core concatenative programming language with variables and first-rank polymorphic type inference
31CaKe. An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
19enjine. A basic JavaScript game engine for HTML5 compatible browsers.
19html5-galaxy. The code and demo for my HTML5 & Three.js Galaxy tutorial.
5wort-old. A concatenative programming language
4barley. A miniature concatenative language with primitives for algebraic effect handlers
2sfas. Song for a System
2graphlets. Java
1neologia. A language for creating and managing dictionaries, suitable for conlangs
1ors-measure. Omnidirectional Relief and Steepness calculator in Racket
1boba-old. Concatenative programming language with algebraic effects and rich type inference
1Silvertongue. Collection of custom conlangery tools
1gruit. A typed concatenative programming language
1inference-playground. Implementing and combining various type systems with principal type schemes
1