@Helium4Haskell
Guthub

Helium4Haskell

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    111
  • Global Org. Rank 55,132 (Top 18 %)
  • Registered about 7 years ago
  • Most used languages
    Haskell
         33.3 %
    Java
         16.7 %
    C
         16.7 %
    HTML
         16.7 %
    TeX
         16.7 %
  • Location 🇳🇱 Netherlands
  • Country Total Rank 3,575
  • Country Ranking
    Haskell
         24
    TeX
         153
    C
         1,242
    Java
         2,830
    HTML
         3,285

Top repositories

1

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter
Haskell
94
star
2

Top

The Top constraint solving framework
Haskell
8
star
3

mirage

TeX
5
star
4

lvm

The LVM runtime and libraries for binding to Helium
C
3
star
5

hint

The Java-based Hint interpreter
Java
1
star
6

nofib

HTML
1
star