robertkleffner Goto Github PK

ascension

Racket library for analyzing digital elevation models.

barley

A miniature concatenative language with primitives for algebraic effect handlers

boba-old

Concatenative programming language with algebraic effects and rich type inference

brewery

A side project

bubble

Prototype virtual machine, mostly as backend for boba lang

buwb

Boolean Unification Workbench

cake

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

chameleon

Typing and type error diagnosis with Constraint Handling Rules

conlangs

My constructed language projects

enjine

A basic JavaScript game engine for HTML5 compatible browsers.

fitg-clone

Fall 2013 semester project

flix

The Flix Programming Language

graph

Generic graph library and algorithms for Racket.

graphlets

gruit

A typed concatenative programming language

healpix.jl

Healpix library written in Julia

html5-galaxy

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

inference-playground

Implementing and combining various type systems with principal type schemes

little-learner

Going through exercises of The Little Learner

mariohtml5

Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements

mptc

type inference for haskell

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