Robert Kleffner

icon indicating a website link http://www.glossopoeia.com icon indicating an email [email protected]

icon company Lumineye, Inc. icon location Boise icon location CEO @ Lumineye. Obsessed with programming languages, especially types and formal verification

Results 4 repositories owned by Robert Kleffner

CaKe

17
Stars
3
Forks
Watchers

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

verified publisher icon robertkleffner

enjine

17
Stars
6
Forks
Watchers

A basic JavaScript game engine for HTML5 compatible browsers.

verified publisher icon robertkleffner

mariohtml5

455
Stars
372
Forks
Watchers

Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements

verified publisher icon robertkleffner

wort

28
Stars
2
Forks
Watchers

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

verified publisher icon robertkleffner