Boise

Robert Kleffner

Expert
@robertkleffner

Software Engineer @metageek-llc. Obsessed with programming languages, especially types and formal verification

www.glossopoeia.com

mariohtml5. Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements

522

wort. A core concatenative programming language with variables and first-rank polymorphic type inference

31

CaKe. An interpreter for a minimal but Turing-complete stack based 'concatenative' language.

19

enjine. A basic JavaScript game engine for HTML5 compatible browsers.

19

html5-galaxy. The code and demo for my HTML5 & Three.js Galaxy tutorial.

5

wort-old. A concatenative programming language

4

barley. A miniature concatenative language with primitives for algebraic effect handlers

2

sfas. Song for a System

2

graphlets. Java

1

neologia. A language for creating and managing dictionaries, suitable for conlangs

1

ors-measure. Omnidirectional Relief and Steepness calculator in Racket

1

boba-old. Concatenative programming language with algebraic effects and rich type inference

1

Silvertongue. Collection of custom conlangery tools

1

gruit. A typed concatenative programming language

1

inference-playground. Implementing and combining various type systems with principal type schemes

1
15
Apply