github/semantic mit

Parsing, analyzing, and comparing source code across many languages

7774 stars     421 forks

498 stars today

agda/agda other

Agda is a dependently typed programming language / interactive theorem prover.

1352 stars     172 forks

47 stars today

hadolint/hadolint gpl-3.0

Dockerfile linter, validate inline bash, written in Haskell

4068 stars     177 forks

44 stars today

srid/neuron agpl-3.0

Future-proof and simple-to-use notes system based on Zettelkasten.

587 stars     75 forks

0 stars today

koka-lang/koka other

Koka language compiler and interpreter

840 stars     50 forks

0 stars today

ghc/ghc other

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance ( First time contributors are encouraged to get started with the newcomers info (

2408 stars     629 forks

0 stars today

kowainik/summoner mpl-2.0

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

521 stars     61 forks

0 stars today

kowainik/relude mit

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

379 stars     50 forks

0 stars today

digitallyinduced/ihp mit

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

1002 stars     51 forks

0 stars today

jaspervdj/hakyll other

A static website compiler library in Haskell

2205 stars     373 forks

1 stars today

jtdaugherty/brick other

A declarative Unix terminal UI programming library written in Haskell

992 stars     110 forks

0 stars today

carp-lang/Carp other

A statically typed lisp, without a GC, for real-time applications.

3601 stars     133 forks

-1 stars today

jaspervdj/patat gpl-2.0

Terminal-based presentations using Pandoc

1407 stars     41 forks

0 stars today

scotty-web/scotty other

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

1457 stars     123 forks

0 stars today


Slides and other materials for functional programming lectures ITMO university

532 stars     33 forks

0 stars today

samtay/tetris other

A terminal interface for Tetris

465 stars     25 forks

6 stars today

waymonad/waymonad other

A wayland compositor based on ideas from and inspired by xmonad

587 stars     12 forks

0 stars today

tweag/monad-bayes mit

A library for probabilistic programming in Haskell.

259 stars     51 forks

3 stars today

purescript/pursuit other

Website for hosting and searching PureScript API documentation

114 stars     41 forks

0 stars today


A secure, multilingual package manager for Arch Linux and the AUR.

917 stars     79 forks

0 stars today


Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

118 stars     20 forks

0 stars today


A structured logging framework for Haskell

153 stars     43 forks

0 stars today

lettier/movie-monad bsd-3-clause

:tv: A free and simple to use video player made with Haskell.

319 stars     20 forks

0 stars today

faylang/fay other

A proper subset of Haskell that compiles to JavaScript

1216 stars     87 forks

0 stars today

unisonweb/unison other

A friendly programming language from the future

3416 stars     163 forks

1 stars today


The LLVM LHC Haskell Optimization System

173 stars     12 forks

0 stars today

goldenlynx/jsn mit

An absolutely simple & terse CLI app to manipulate JSON data

107 stars     2 forks

0 stars today

ollef/Earley other

Parsing all context-free grammars using Earley's algorithm in Haskell.

307 stars     20 forks

0 stars today


A friendly IRC bot and apprentice coder, written in Haskell.

141 stars     60 forks

0 stars today

bamboo/idris-cil other

A Common Intermediate Language backend for Idris.

123 stars     8 forks

0 stars today

conal/lambda-ccc other

Convert lambda expressions to CCC combinators

128 stars     18 forks

0 stars today

ermine-language/ermine other

The Ermine Programming Language - Join us on #ermine

205 stars     15 forks

0 stars today