Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Nix

F#

PHP

Swift

Zig

Python

MATLAB

Go

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Clojure

Racket

Ada

Erlang

Dart

Julia

Nix

C

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇯🇪 Jersey

🇨🇱 Chile

🇻🇳 Vietnam

🇳🇦 Namibia

🇸🇪 Sweden

🇸🇧 Solomon Islands

🇹🇷 Türkiye

🇻🇺 Vanuatu

All Countries Compare Countries

Helium4Haskell/helium

Stars
94
Rank 356,972 (Top 8 %)
Language
Haskell
License
GNU General Publi...
Created about 7 years ago
Updated 9 months ago

Helium4Haskell/helium

Helium4Haskell

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Top

The Top constraint solving framework

mirage

lvm

The LVM runtime and libraries for binding to Helium

hint

The Java-based Hint interpreter

nofib