The Lamdu IDE

lamdu

lamdu - towards the next generation IDE

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

lamdu-calculus

An extended typed Lambda Calculus

momentu

A purely functional animated GUI framework

Algorithm-W-Step-By-Step

Classic Algorithm W for type inference.

FreetypeGL

High-level Haskell bindings for the freetype-gl package

bindings-freetype-gl

Low-level Haskell bindings for the freetype-gl library

nodejs-exec

NodeJS embedded in a Haskell cabal package

rocksdb-haskell

Haskell bindings to LevelDB (https://github.com/google/leveldb)

freetype2

My personal branch of the freetype2 source code

graphics-drawingcombinators

Combinators for drawing 2D shapes and images in Haskell (using OpenGL)

lamdu.github.io

Github pages site lamdu.github.io

presentations

Ideas for videos, papers and posts

bindings-GLFW

Low-level Haskell bindings to GLFW

freetype-gl

OpenGL text using one vertex buffer, one texture and FreeType

glfw

A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input

GLFW-b

Haskell bindings to GLFW

inline-c

lambdu

Typo-redirection page to Lamdu

language-ecmascript

Haskell library: ECMAScript parser, pretty-printer and additional tools

presentation-live-2018

Work on presentation for LIVE 2018

text-trie

An efficient finite map from Text to values, based on bytestring-trie.