The Lamdu IDE

hypertypes Public

Hypertypes - generic programming for heterogeneous recursive types

Haskell 124 10 4 0 Updated Jul 26, 2026

lamdu Public

lamdu - towards the next generation IDE

Haskell 1,897GPL-3.0 75 23 (2 issues need help) 1 Updated Jun 29, 2026

hypertypes-ast Public

AST, unification, and type inference utilities for hypertypes

Haskell 0 0 1 0 Updated Jun 24, 2026

momentu Public

A purely functional animated GUI framework

Haskell 17 2 0 0 Updated Jun 22, 2026

bindings-GLFW Public Forked from bsl/bindings-GLFW

Low-level Haskell bindings to GLFW

C 1BSD-2-Clause 33 0 0 Updated Jun 22, 2026

lamdu-calculus Public

An extended typed Lambda Calculus

Haskell 22 3 0 0 Updated Jun 22, 2026

bindings-freetype-gl Public

Low-level Haskell bindings for the freetype-gl library

C 2BSD-3-Clause 1 1 1 Updated Oct 15, 2025

freetype2 Public Forked from dagit/freetype2

My personal branch of the freetype2 source code

C 1 16 0 0 Updated May 20, 2025

text-trie Public Forked from michaeljklein/text-trie

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

Haskell 1BSD-3-Clause 24 0 0 Updated May 15, 2025

GLFW-b Public Forked from bsl/GLFW-b

Haskell bindings to GLFW

Haskell 1BSD-2-Clause 34 0 0 Updated Apr 26, 2025

Navigation Menu

Uh oh!

Uh oh!

The Lamdu IDE

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Sponsors

Top languages

Uh oh!

Most used topics

Uh oh!