The Lamdu IDE

lamdu Public
lamdu - towards the next generation IDE

Haskell 1,743 GPL-3.0 68 16 (2 issues need help) 0 Updated Apr 29, 2022
rocksdb-haskell Public
Haskell bindings to LevelDB (https://github.com/google/leveldb)

Haskell 0 BSD-3-Clause 48 0 0 Updated Apr 28, 2022
lamdu-calculus Public
An extended typed Lambda Calculus

Haskell 19 2 0 0 Updated Apr 4, 2022
hypertypes Public
Hypertypes - generic programming for heterogeneous recursive types

Haskell 92 4 1 0 Updated Apr 4, 2022
momentu Public
A purely functional animated GUI framework

Haskell 10 0 0 0 Updated Mar 30, 2022
bindings-freetype-gl Public
Low-level Haskell bindings for the freetype-gl library

C 1 1 1 0 Updated Nov 1, 2021
lamdu.github.io Public
Github pages site lamdu.github.io

JavaScript 1 3 0 0 Updated Sep 16, 2021
presentations Public
Ideas for videos, papers and posts

HTML 1 1 0 0 Updated Jul 20, 2021
graphics-drawingcombinators Public
Combinators for drawing 2D shapes and images in Haskell (using OpenGL)

Haskell 1 16 0 0 Updated May 8, 2021
FreetypeGL Public
High-level Haskell bindings for the freetype-gl package

Haskell 3 1 0 0 Updated May 8, 2021

Pinned