github/semantic mit

Parsing, analyzing, and comparing source code across many languages

7133 stars     309 forks

1 stars today

jgm/pandoc other

Universal markup converter

18144 stars     2123 forks

3 stars today


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

803 stars     77 forks

1 stars today


GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

602 stars     20 forks

0 stars today

agda/agda other

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

1132 stars     149 forks

0 stars today

simonmichael/hledger gpl-3.0

easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger

1359 stars     191 forks

0 stars today

sdiehl/wiwinwlh other

What I Wish I Knew When Learning Haskell

1722 stars     188 forks

0 stars today

LambdaHack/LambdaHack bsd-3-clause

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

372 stars     30 forks

0 stars today

elm/compiler bsd-3-clause

Compiler for Elm, a functional language for reliable webapps.

5800 stars     479 forks

1 stars today

purescript/spago bsd-3-clause

🍝 PureScript package manager and build tool powered by Dhall and package-sets

403 stars     70 forks

0 stars today

dmjio/miso bsd-3-clause

:ramen: A tasty Haskell front-end framework

1527 stars     107 forks

0 stars today

carp-lang/Carp other

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

3375 stars     119 forks

0 stars today

hadolint/hadolint gpl-3.0

Dockerfile linter, validate inline bash, written in Haskell

3254 stars     138 forks

0 stars today

koalaman/shellcheck gpl-3.0

ShellCheck, a static analysis tool for shell scripts

18744 stars     929 forks

2 stars today

egison/egison mit

The Egison Programming Language

713 stars     30 forks

0 stars today

smallhadroncollider/taskell other

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

825 stars     34 forks

1 stars today

jaspervdj/patat gpl-2.0

Terminal-based presentations using Pandoc

1306 stars     39 forks

0 stars today

jtdaugherty/brick other

A declarative Unix terminal UI programming library written in Haskell

867 stars     107 forks

0 stars today

channable/vaultenv bsd-3-clause

Launch processes with Vault secrets in the environment

244 stars     18 forks

0 stars today

ghcjs/ghcjs mit

Haskell to JavaScript compiler, based on GHC

2264 stars     170 forks

0 stars today

colah/ImplicitCAD agpl-3.0

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

822 stars     111 forks

0 stars today

BurntSushi/erd unlicense

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

1132 stars     96 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 (

2311 stars     624 forks

0 stars today

tmspzz/Rome mit

Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others

576 stars     39 forks

0 stars today

google/codeworld apache-2.0

Educational computer programming environment using Haskell

1041 stars     176 forks

0 stars today

xmonad/xmonad other

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

1378 stars     175 forks

1 stars today

typelead/eta other

The Eta Programming Language, a dialect of Haskell on the JVM

2380 stars     149 forks

0 stars today

scotty-web/scotty other

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

1401 stars     121 forks

0 stars today

sdiehl/write-you-a-haskell mit

Building a modern functional compiler from first principles. (

2682 stars     216 forks

1 stars today

erebe/greenclip other

Simple clipboard manager to be integrated with rofi - Static binary available

398 stars     15 forks

0 stars today

caiorss/Functional-Programming unlicense

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

2555 stars     159 forks

0 stars today