Repositories list

• helium

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

  Haskell

  •

  GNU General Public License v3.0

  •18•94•3•4•Updated Nov 12, 2024Nov 12, 2024

• lvm

  Public
  The LVM runtime and libraries for binding to Helium

  C

  •8•3•0•1•Updated Oct 22, 2024Oct 22, 2024

• Top

  Public
  The Top constraint solving framework

  Haskell

  •

  GNU General Public License v3.0

  •6•8•0•0•Updated Oct 13, 2024Oct 13, 2024

• mirage

  Public
  TeX

  •

  BSD 3-Clause "New" or "Revised" License

  •1•5•0•1•Updated May 7, 2023May 7, 2023

• rhodium

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

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•0•0•Updated May 17, 2022May 17, 2022

• hint

  Public
  The Java-based Hint interpreter

  Java

  •1•1•0•0•Updated Aug 29, 2019Aug 29, 2019

• nofib

  Public
  HTML

  •0•1•0•0•Updated Jun 12, 2019Jun 12, 2019