Robert Kleffner

Login: robertkleffner

Company: null

Location: Boise

Bio: Obsessed with programming languages, especially types and formal verification

Blog: http://www.glossopoeia.com

Blog: http://www.glossopoeia.com

Member of

Repositories

barley

A miniature concatenative language with primitives for algebraic effect handlers

brewery

A side project

CaKe

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

coda

A language for structuring and generating sheet music

conlangs

My constructed language projects

enjine

A basic JavaScript game engine for HTML5 compatible browsers.

fitg-clone

Fall 2013 semester project

glossolalia

A language for generating words in constructed languages

graphlets

null

gruit

A typed concatenative programming language

html5-galaxy

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

mariohtml5

Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements

neologia

A language for creating and managing dictionaries, suitable for conlangs

ors-measure

Omnidirectional Relief and Steepness calculator in Racket

sfas

Song for a System

Silvertongue

Collection of custom conlangery tools

wort

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

wort-old

A concatenative programming language

Commits To