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.

gtk-sni-tray

A StatusNotifierHost widget written using the gtk+3 bindings for haske...

3 37 37

avail

Low-overhead effect management for concrete monads

2 37 37

text-rope

A wrapper around Text for fast line/column navigation and logarithmic...

3 37 37

cardano-dex-contracts

Smart contracts and specification of the AMM protocol on top of the Ca...

20 37 37

strive

:bicyclist: A Haskell client for the Strava V3 API.

7 37 37

symbols

Symbol manipulation

3 36 36

composable-sdr

SDR DSP utilities embedded in Haskell

5 36 36

G2

6 36 36

chameleon

A tool to make solving type errors in Haskell simple and fun.

1 36 36

inflections-hs

Rails-like inflections for Haskell

11 36 36

botan

Haskell bindings for the Botan cryptography library

6 36 36

category-theory-for-programmers

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean tr...

2 36 36

cobalt

The Cobalt programming language

10 36 36

tasty-discover

Haskell test discovery for the tasty framework :eyes:

12 36 36

ltext

λtext - higher-order file applicator

5 36 36

libmpd-haskell

A client library for MPD, the Music Player Daemon

25 36 36

postgresql-pure

a PostgreSQL client library implemented with pure Haskell

1 36 36

shakespeare-mode

An emacs major mode for editing hamlet, lucius, and julius files

5 36 36

tandoori

Compositional type checking for Haskell

3 36 36

mltool

Machine Learning Toolbox

4 36 36

DMSS

Dead Man's Switch System

4 36 36

functional-programming-babelfish

A cheat sheet for finding similar concepts and operators in different...

8 36 36

WangsAlgorithm

A classical propositional theorem prover in Haskell, using Wang's Algo...

4 36 36

mips-simulator

💻 A 5-stage pipeline MIPS CPU design in Haskell.

0 36 36

Ombra

Graphics engine written in Haskell.

3 35 35

lsp-test

A functional test framework for LSP servers

15 35 35

haskellrustdemo

Example Integration for Embedding Rust in Haskell

3 35 35

pureli

A purely functional, dynamically typed, parallel evaluated Lisp-like p...

0 35 35

hs-quake-3

Quake 3 map viewer written in Haskell

3 35 35

yh

a tech demo for a bullet hell game. for the full game visit https://gi...

2 35 35

ray-marching-distance-fields

Haskell and GLSL program containing my distance field / ray marching r...

3 35 35

silly-joy

An interpreter for the concatenative language Joy, written in Haskell...

4 35 35

lagoon

Data centralization tool

1 35 35

clash-playground

A Clash playground/starter kit, using Nix

6 35 35

jrec

Literally the best anonymous records

7 35 35

haskell-ghc-reading-guide

Haskell GHC reading guide

1 35 35

convoluted

Dependently typed convolutional neural networks

1 35 35

log

Structured logging solution.

7 35 35

zlib

Compression and decompression in the gzip and zlib formats

31 35 35

CadregaLisp

🍎 Just another useless programming language, but with inganno.

0 35 35

hix

Haskell/Nix development build tools

2 35 35

three-wise-monkeys

You've heard of the SKI combinators... How about the 🙊🙉🙊 combinator...

1 34 34

notes-milewski-ctfp-hs

Notes (in literate Haskell) from reading Category Theory for Programme...

1 34 34

iohk-monitoring-framework

This framework provides logging, benchmarking and monitoring.

15 34 34

nanohs

a self-hosting lambda calculus compiler

2 34 34

Violet

Superscalar RISC-V processor written in Clash.

1 34 34

10-days-of-grad

Neural Networks and Deep Learning

8 34 34

confer

The symbolic links manager for your configuration files

0 34 34

2024_20CYS312_Principles_of_Programming

20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CY...

79 34 34

cardano-haskell-packages

Metadata for Cardano's Haskell package repository

29 34 34