Skip to content
@Helium4Haskell

Helium4Haskell

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

Popular repositories Loading

  1. helium helium Public

    The Helium compiler, Helium-as-a-library, and the texthint interpreter

    Haskell 94 18

  2. Top Top Public

    The Top constraint solving framework

    Haskell 8 6

  3. mirage mirage Public

    TeX 5 1

  4. lvm lvm Public

    The LVM runtime and libraries for binding to Helium

    C 3 8

  5. hint hint Public

    The Java-based Hint interpreter

    Java 1 1

  6. nofib nofib Public

    HTML 1

Repositories

Showing 7 of 7 repositories
  • helium Public

    The Helium compiler, Helium-as-a-library, and the texthint interpreter

    Helium4Haskell/helium’s past year of commit activity
    Haskell 94 GPL-3.0 18 3 4 Updated Nov 12, 2024
  • lvm Public

    The LVM runtime and libraries for binding to Helium

    Helium4Haskell/lvm’s past year of commit activity
    C 3 8 0 1 Updated Oct 22, 2024
  • Top Public

    The Top constraint solving framework

    Helium4Haskell/Top’s past year of commit activity
    Haskell 8 GPL-3.0 6 0 0 Updated Oct 13, 2024
  • mirage Public
    Helium4Haskell/mirage’s past year of commit activity
    TeX 5 BSD-3-Clause 1 0 1 Updated May 7, 2023
  • rhodium Public Forked from jorisburgers/rhodium

    Rhodium is a modification of the OutsideIn(X) algorithm for detecting type errors using heuristics.

    Helium4Haskell/rhodium’s past year of commit activity
    Haskell 0 BSD-3-Clause 1 0 0 Updated May 17, 2022
  • hint Public

    The Java-based Hint interpreter

    Helium4Haskell/hint’s past year of commit activity
    Java 1 1 0 0 Updated Aug 29, 2019
  • nofib Public
    Helium4Haskell/nofib’s past year of commit activity
    HTML 1 0 0 0 Updated Jun 12, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…