Luke Palmer

vatican. A lazy specializing virtual machine for purely functional languages

data-memocombinators. Pure memoization combinators for Haskell

graphics-drawingcombinators. Combinators for drawing 2D shapes and images in Haskell (using OpenGL)

Djest. A programming language that deduces code from tests

hothasktags. A haskell ctags implementation that is aware of qualified imports, among other cool stuff

quantum-arrow. A Haskell arrow for simulating quantum computation

dana. Dana - a purely functional (virtual) operating system

control-monad-omega. A Haskell monad for fair enumeration of infinite sets.

data-inttrie. A simple, lazy trie of integers

experiments. Miscellaneous small experiments with programming

manifesto. A(nother) structural editor (attempt) inspired by paredit

polyrhythmia. Procedural generation of polyrhythmic beats

morphism. An experimental purely functional programming language

sequent. A logical/functional programming language based on sequent calculus

infinite-search. An implementation of Martin Escardo's exhaustively searchable sets in Haskell.

frag. Purely functional foundations: IO-free haskell.

weighted-search. A monad for weighted nondeterminism

balder2d. A zero-gravity multiplayer shooter game.

big-sleep. Custom big sleep for AI-generated images and movies

jsexp. A structural code editor in your web browser

practice-tools. A set of tools for piano practice

space-shooter. A geometry wars derivative with composable enemies and procedural music.

udon. Universal Distributed Object Notation: data structures in distributed memory

topology-extras. A Haskell module for topological spaces, inspired by Abstract Stone Duality

soylent. The legacy soylent software repository

collada. A Haskell module for loading and rendering Collada 3D model files

lumatone-interpreter. A lumatone to MPE converter

data-partition. A pure disjoint set (union-find) data structure

plants. A plant DNA decoding simulation

democracy-tools. Tools that facilitate and encourage informed, rational, democratic policy discussion

hetero-map. Pure heterogeneous maps for Haskell

logic-db. A json predicate logic database (similar to datalog)

CodeCatalog. A social coding/code sharing site oriented around small, reusable snippets

record-calculus. An assumption-tracking "object calculus"

unamb-custom. Functional concurrency with unambiguous choice, using a custom scheduler.

typeclass-constructions. A repository for the Constructions on Typeclasses series of blog posts

merge3. A web-based 3 way interactive merge tool

hacksmith. A language-independent structural editor

Codec-Image-DevIL. DevIL bindings for Haskell

backward-state. A state monad that runs the state in reverse through the computation

MobiusScripts. Scripts for the Mobius Looper, especially to enable multiple multiple musicians to use the same looper

ghc. Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

lukeper. A looper instrument for the APC40

wavelayer. "Perfect harmony" generation

sequent2. A new system (IDE/language) for organizing code.

parsec-layout. Haskell-like layout combinators for parsec

chromosomatics. A cute little framework for evolutionary programming

tensorflow-wavenet. A TensorFlow implementation of DeepMind's WaveNet paper

green-globs. A javascript clone of the educational graphing game Green Globs

CodeMirror2. In-browser code editor

fist. Functional Image System