A strongly-typed language that compiles to JavaScript

A statically typed lisp, without a GC, for real-time applications.

Miscellaneous articles. The readme is the table of contents.

A statically typed concatenative systems programming language.

✏️ 📊 - The Haskell code editor focused on interactive development.

A functional language for the working hacker

A small strongly typed language that compiles to C++11

Hopefully verifiable code generation in GHC

Elaborate and expressive S-Expression library for Haskell

Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)

Miscellaneous files from my blog

Collection of algorithms in Computational Geometry.

A simple logic programming language implemented in Haskell

Haskell library for evaluating expressions using the LuaJIT compiler

Marching cubes algorithm.