robertkleffner

mariohtml5

Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements

wort

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

CaKe

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

enjine

A basic JavaScript game engine for HTML5 compatible browsers.

html5-galaxy

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

wort-old

A concatenative programming language

sfas

Song for a System

barley

A miniature concatenative language with primitives for algebraic effect handlers

boba-old

Concatenative programming language with algebraic effects and rich type inference

graphlets

gruit

A typed concatenative programming language

inference-playground

Implementing and combining various type systems with principal type schemes

neologia

A language for creating and managing dictionaries, suitable for conlangs

Silvertongue

Collection of custom conlangery tools

ascension

Racket library for analyzing digital elevation models.

brewery

A side project

bubble

Prototype virtual machine, mostly as backend for boba lang

buwb

Boolean Unification Workbench

Chameleon

Typing and type error diagnosis with Constraint Handling Rules

conlangs

My constructed language projects

fitg-clone

Fall 2013 semester project

flix

The Flix Programming Language

graph

Generic graph library and algorithms for Racket.

Healpix.jl

Healpix library written in Julia

little-learner

Going through exercises of The Little Learner

mptc

type inference for haskell

ors-measure

Omnidirectional Relief and Steepness calculator in Racket