robertkleffner
CEO @lumineye. Software Engineer @metageek-llc. Obsessed with programming languages, especially types and formal verification
Lumineye, Inc.Boise
Pinned Repositories
barley
A miniature concatenative language with primitives for algebraic effect handlers
boba-old
Concatenative programming language with algebraic effects and rich 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.
graphlets
html5-galaxy
The code and demo for my HTML5 & Three.js Galaxy tutorial.
mariohtml5
Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements
sfas
Song for a System
wort
A core concatenative programming language with variables and first-rank polymorphic type inference
wort-old
A concatenative programming language
robertkleffner's Repositories
robertkleffner/mariohtml5
Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements
robertkleffner/wort
A core concatenative programming language with variables and first-rank polymorphic type inference
robertkleffner/CaKe
An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
robertkleffner/enjine
A basic JavaScript game engine for HTML5 compatible browsers.
robertkleffner/html5-galaxy
The code and demo for my HTML5 & Three.js Galaxy tutorial.
robertkleffner/wort-old
A concatenative programming language
robertkleffner/barley
A miniature concatenative language with primitives for algebraic effect handlers
robertkleffner/sfas
Song for a System
robertkleffner/boba-old
Concatenative programming language with algebraic effects and rich type inference
robertkleffner/graphlets
robertkleffner/gruit
A typed concatenative programming language
robertkleffner/inference-playground
Implementing and combining various type systems with principal type schemes
robertkleffner/neologia
A language for creating and managing dictionaries, suitable for conlangs
robertkleffner/ors-measure
Omnidirectional Relief and Steepness calculator in Racket
robertkleffner/Silvertongue
Collection of custom conlangery tools
robertkleffner/ascension
Racket library for analyzing digital elevation models.
robertkleffner/brewery
A side project
robertkleffner/bubble
Prototype virtual machine, mostly as backend for boba lang
robertkleffner/buwb
Boolean Unification Workbench
robertkleffner/Chameleon
Typing and type error diagnosis with Constraint Handling Rules
robertkleffner/conlangs
My constructed language projects
robertkleffner/fitg-clone
Fall 2013 semester project
robertkleffner/flix
The Flix Programming Language
robertkleffner/gonum
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
robertkleffner/graph
Generic graph library and algorithms for Racket.
robertkleffner/little-learner
Going through exercises of The Little Learner
robertkleffner/mptc
type inference for haskell