Helium4Haskell

Helium is a lightweight compiler for (the beginnings of) Haskell with special support for type error diagnosis.

Utrecht, the Netherlands

Pinned Repositories

helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:Haskell94 8 318
hint
The Java-based Hint interpreter
Language:Java1 3 01
lvm
The LVM runtime and libraries for binding to Helium
Language:C3 3 08
mirage
Language:TeX5 2 01
nofib
Language:HTML1 2 00
rhodium
Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.
Language:Haskell0 0 00
Top
The Top constraint solving framework
Language:Haskell8 4 06

Helium4Haskell's Repositories

Helium4Haskell/helium
The Helium compiler, Helium-as-a-library, and the texthint interpreter
Language:Haskell94 8 318
Helium4Haskell/Top
The Top constraint solving framework
Language:Haskell8 4 06
Helium4Haskell/mirage
Language:TeX5 2 01
Helium4Haskell/lvm
The LVM runtime and libraries for binding to Helium
Language:C3 3 08
Helium4Haskell/hint
The Java-based Hint interpreter
Language:Java1 3 01
Helium4Haskell/nofib
Language:HTML1 2 00
Helium4Haskell/rhodium
Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.
Language:Haskell0 0 00