luqui

vatican

A lazy specializing virtual machine for purely functional languages

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

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

big-sleep

Custom big sleep for AI-generated images and movies

practice-tools

A set of tools for piano practice

data-partition

A pure disjoint set (union-find) data structure

Codec-Image-DevIL

DevIL bindings for Haskell

hetero-map

Pure heterogeneous maps for Haskell

lukeper

A looper instrument for the APC40

MobiusScripts

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

tensorflow-wavenet

A TensorFlow implementation of DeepMind's WaveNet paper

anatoly-code-review

chelsea-code-review

Just for a second

colormusic

A toy for playing with frequency relationships between colors

command-t

Fast file navigation for VIM

doodle-chemist

Simple element-combining exploration game with crowdsourced game design

dotfiles

You know

fedsim

A simple economy simulator to play with policy

ghcjs

Haskell to JavaScript compiler, based on GHC

harmonic-composer

A microtonal piano roll composer based on an adjustible harmonic series grid

HoTT-Agda

Development of homotopy type theory in Agda

luqui.github.io

Homepage

roles

An alternative, composable model of RoleAnnotations via type classes