Most popular haskell repositories and open source projects

Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don't have to declare them), lazy (nothing is done until it needs to be) language.

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

3 61 61

hpc-coveralls

coveralls.io support for haskell code coverage with hpc

22 60 60

issue-wanted

🏷 Web application to help beginners to start contributing into Haskell...

9 60 60

awesome-eta

:star: Useful resources for the Eta programming language

5 60 60

eio

🎯 IO with Exceptions tracked on the type-level

2 60 60

blt

Lattice-based integer linear programming solver

9 60 60

haskell-ethereum-assembly

EVM (Ethereum virtual machine) Assembly on Haskell DSL

3 60 60

opentelemetry-haskell

The OpenTelemetry Haskell Client https://opentelemetry.io

6 60 60

ghuntley

@ghuntley's personal monorepo

5 60 60

hunt

A flexible, lightweight search platform

10 59 59

haskell-tools

Tools for exporting blockchain data to analytical databases

21 59 59

ghc-syntax-highlighter

Syntax highlighter for Haskell using the lexer of GHC

6 59 59

dhek

PDF template design app./UI (or on the Discworld, supreme Djelibeybian...

13 59 59

mlir-hs

Haskell bindings for MLIR

10 59 59

postgresql-transactional

Transactional monadic actions on top of PostgreSQL.

4 59 59

at

Effective Algebraic Topology in Haskell

1 59 59

facts

Refined types

3 58 58

clock

High-resolution clock functions: monotonic, realtime, cputime.

25 58 58

flat

Principled and efficient binary serialization

18 58 58

gopro

Tools for making the most out of GoPro Plus.

8 58 58

concur-static

Generate semi-dynamic UIs with Concur

1 57 57

vault

A typed, persistent store for values of arbitrary types

17 57 57

monad-control

Lift control operations, like exception catching, through monad transf...

31 57 57

kempe

Kempe is a compiled stack-based language

2 57 57

type-errors-pretty

💄🐞 Combinators for writing pretty type errors easily

7 57 57

haskell-tic-tac-toe

A multiplayer web real-time implementation of the famous Tic Tac Toe g...

8 57 57

sre

📚 Index for my study topics

8 57 57

toy-language-server

Example language server (LSP) implementation for a toy language

2 57 57

jhc-components

JHC Haskell compiler split into reusable components

11 56 56

hasmin

Hasmin - A Haskell CSS Minifier

5 56 56

eta-android-2048

Android 2048 game using Yampa FRP library in Eta

8 56 56

metafun

Compile Haskell-like code into C++ template metaprograms

3 56 56

neskell

A Haskell 6502 Emulator

3 56 56

linear-builder

Strict Text builder, which hides mutable buffer behind linear types an...

1 56 56

haskell-optimization

A beginner's guide to Haskell optimization

0 56 56

yinsh

A web-based version of the board game Yinsh

5 56 56

haskell-book-readers-exercises

Exercises from the readers of the Haskell Book

6 55 55

karya

music sequencer and generalized notation

2 55 55

teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Progra...

4 55 55

arrayfire-haskell

Haskell bindings to ArrayFire

5 55 55

discrete-mathematics

A computational way to study discrete mathematics using Haskell

6 55 55

conway

A terminal interface for Conway's Game of Life

4 55 55

tactic-haskell

Tactic Metaprogramming in Haskell

0 55 55

hackage-security

Hackage security framework based on TUF (The Update Framework)

41 55 55

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstrac...

8 55 55

PyF

Haskell QuasiQuoter for String Formatting

11 55 55

xmonad

my Xmonad configuration

7 55 55

marvin

The paranoid bot (framework)

6 54 54

easy-hls-nix

Easy Haskell Language Server tooling with Nix!

10 54 54

essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework

3 54 54