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.

chip-8

A CHIP-8 Emulator written in Haskell

2   34   34  

purescript-pop

:smiley: A functional reactive programming (FRP) demo created with Pu...

2   34   34  

verigraph

Software specification and verification system based on graph rewritin...

4   34   34  

plutus-experimental-smart-contracts

Experimental Smart Contracts In Plutus.

8   34   34  

pvp

Haskell Package Version Policy (PVP)

21   34   34  

mqtt-hs

Haskell MQTT client.

21   34   34  

tandoori

Compositional type checking for Haskell

2   33   33  

perhaps

A monad, perhaps.

2   33   33  

hadui

Web front UI for interactive Haskell projects

1   33   33  

hsudoku

A native gtk sudoku game written in haskell

6   33   33  

swagger-test

Property based testing tool for Swagger APIs

3   33   33  

crjdt-haskell

A Conflict-Free Replicated JSON Datatype for Haskell

3   33   33  

easyspec

Signature inference for Functional Property Discovery in Haskell

2   33   33  

kepler

A Haskell framework that facilitates writing ABCI applications

9   33   33  

lagoon

Data centralization tool

1   33   33  

typical-math

A general-purpose type theory and proof checker generator.

4   33   33  

mips-simulator

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

0   33   33  

haskell-ghc-reading-guide

Haskell GHC reading guide

1   33   33  

convoluted

Dependently typed convolutional neural networks

1   33   33  

ormolu.el

A formatter for Haskell source code

9   33   33  

cabal-plan

Library and utility for processing cabal's plan.json file

19   33   33  

iohk-monitoring-framework

This framework provides logging, benchmarking and monitoring.

13   33   33  

CSES-Solutions

Solutions and Editorials to all problems of CSES

48   33   33  

Violet

Superscalar RISC-V processor written in Clash.

1   33   33  

zlib

Compression and decompression in the gzip and zlib formats

31   33   33  

telescope_hoogle

Hoogle search integration for Telescope

6   33   33  

stash

encrypted text storage and cli

5   33   33  

text-rope

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

0   33   33  

CoreLang

Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functio...

7   32   32  

containers-backpack

🎒 Backpack interface for containers

7   32   32  

line

Haskell SDK for the LINE APIs

2   32   32  

slack

Slack Web and RTM API

7   32   32  

purescript-for-haskellers

Some info that supposed to help to understand PureScript from Haskell...

1   32   32  

flappy-haskell

Flappy Bird Haskell Implementation

9   32   32  

ianix

Personal NixOS configuration

1   32   32  

silly-joy

Interpreter for Joy in Haskell using extensible-effects

4   32   32  

line-bot-sdk

🍥Haskell向けLINE Messaging API SDK

7   32   32  

github-webhooks

Haskell types and instances for decoding GitHub webhook payloads.

14   32   32  

nico-lang

Nico-lang is the programing language of Nico Yazawa

0   32   32  

type-natural

Type-level well-kinded natural numbers.

11   32   32  

haskell-overridez

Simplify usage of nix dependencies during haskell development

1   32   32  

jrec

Literally the best anonymous records

5   32   32  

symbols

Symbol manipulation

3   32   32  

SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

6   32   32  

txmonad

A toy xmonad

5   32   32  

language-docker

Haskell Dockerfile parser, pretty-printer and EDSL

8   32   32  

mu-graphql-example-elm

Complete full-stack web app with a mu-haskell GraphQL server and an El...

4   32   32  

autopack

📦 Custom Setup to automate package modules discovery

3   32   32  

notes-milewski-ctfp-hs

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

1   32   32  

hsc2hs

Pre-processor for .hsc files

19   32   32