The Lamdu IDE

icon indicating a website link http://www.lamdu.org

icon location The next-generation programming experience

Results 4 repositories owned by The Lamdu IDE

lamdu

1.8k
Stars
65
Forks
Watchers

lamdu - towards the next generation IDE

verified publisher icon lamdu

hypertypes

107
Stars
8
Forks
Watchers

Hypertypes - generic programming for heterogeneous recursive types

verified publisher icon lamdu

lamdu-calculus

20
Stars
3
Forks
Watchers

An extended typed Lambda Calculus

verified publisher icon lamdu

momentu

15
Stars
0
Forks
Watchers

A purely functional animated GUI framework

verified publisher icon lamdu