The Geometric OptimizAtion Libraries

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Universal markup converter

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"

interesting solutions to project euler problems

A DCPU suite written in Haskell

Haskell implementation of Notch's dcpu-16 specification (assembler, emulator)

Haskell compiler/asm/dasm toolkit for DCPU16 architecture.

interesting solutions to project euler problems

AI Challenge

Haskell bindings to OpenGL (direct C bindings)

The source code that drives the AI Challenge

A class for types that can be converted to a hash value

A lazily specializing virtual machine for purely functional programs

My very own dotfiles (sway, neovim, zsh, wezterm)

Unofficial Haskell starter package for the Planet Wars AI contest

x86-64 assembly as a Haskell EDSL

An experimental purely functional programming language

Statically checked vectors (a mostly failed experiment in representing vector lengths statically to avoid runtime checks, but was inspiration for great things to come ;))

Haskell bindings to GLFW