🇯🇵 Made in Japan

Discover Japan's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Japan.

TOP Haskell Projects

1
fosskers/aura

fosskers/aura

A secure, multilingual package manager for Arch Linux and the AUR.
Haskell
1,569
star
2
egison/egison

egison/egison

The Egison Programming Language
Haskell
900
star
3
cdepillabout/termonad

cdepillabout/termonad

Terminal emulator configurable in Haskell.
Haskell
390
star
4
jonascarpay/apecs

jonascarpay/apecs

a fast, extensible, type driven Haskell ECS framework for games
Haskell
381
star
5
lotz84/haskell

lotz84/haskell

A curated list of awesome things related to Haskell.
Haskell
275
star
6
jameshaydon/lawvere

jameshaydon/lawvere

A categorical programming language with effects
Haskell
262
star
7
cdepillabout/pretty-simple

cdepillabout/pretty-simple

pretty-printer for Haskell data types that have a Show instance
Haskell
237
star
8
itchyny/sjsp

itchyny/sjsp

Simple JavaScript Profiler
Haskell
234
star
9
khibino/haskell-relational-record

khibino/haskell-relational-record

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
Haskell
233
star
10
fujimura/hi

fujimura/hi

Generate scaffold for a Haskell project
Haskell
202
star
11
kazu-yamamoto/unit-test-example

kazu-yamamoto/unit-test-example

Unit test example for Haskell
Haskell
173
star
12
himura/twitter-conduit

himura/twitter-conduit

Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.
Haskell
157
star
13
kazu-yamamoto/logger

kazu-yamamoto/logger

A fast logging system for Haskell
Haskell
156
star
14
msakai/toysolver

msakai/toysolver

My sandbox for experimenting with solver algorithms.
Haskell
148
star
15
rnons/ted2srt

rnons/ted2srt

Download bilingual subtitles of TED talks. https://ted2sub.org now.
Haskell
141
star
16
kazu-yamamoto/mighttpd2

kazu-yamamoto/mighttpd2

File/CGI web server on Warp
Haskell
133
star
17
syocy/a-tour-of-go-in-haskell

syocy/a-tour-of-go-in-haskell

Write "Concurrency" section of "A Tour of Go" in Haskell
Haskell
130
star
18
kazu-yamamoto/recursion-drill

kazu-yamamoto/recursion-drill

Drill to study recursive programming in Haskell
Haskell
127
star
19
fumieval/extensible

fumieval/extensible

Extensible records, variants, structs, effects, tangles
Haskell
124
star
20
fumieval/deriving-aeson

fumieval/deriving-aeson

Scrap your hand-rolled aeson instances
Haskell
109
star
21
y-taka-23/thank-you-stars

y-taka-23/thank-you-stars

Give your dependencies stars on GitHub! 🌟
Haskell
105
star
22
msakai/cpl

msakai/cpl

An interpreter of Hagino's Categorical Programming Language (CPL).
Haskell
100
star
23
talw/crisp-compiler

talw/crisp-compiler

A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
Haskell
99
star
24
jonascarpay/calligraphy

jonascarpay/calligraphy

haskell source code visualizer
Haskell
94
star
25
tanakh/Peggy

tanakh/Peggy

The Parser Generator for Haskell
Haskell
94
star
26
fumieval/winery

fumieval/winery

Preservative serialisation format
Haskell
89
star
27
minoki/purescript-tsd-gen

minoki/purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript
Haskell
88
star
28
kazu-yamamoto/quic

kazu-yamamoto/quic

IETF QUIC library in Haskell
Haskell
87
star
29
algas/haskell-servant-cookbook

algas/haskell-servant-cookbook

Haskell Servant Cookbook
Haskell
84
star
30
ncaq/uBlacklistRule

ncaq/uBlacklistRule

uBlacklist向けのルールです。Firefox for AndroidのuBlock Origin向けのルールもあります。
Haskell
84
star
31
haskell-jp/makeMistakesToLearnHaskell

haskell-jp/makeMistakesToLearnHaskell

Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門
Haskell
80
star
32
kazu-yamamoto/http2

kazu-yamamoto/http2

HTTP/2.0 library including HPACK
Haskell
76
star
33
jamesdbrock/replace-megaparsec

jamesdbrock/replace-megaparsec

Stream editing with Haskell Megaparsec parsers
Haskell
76
star
34
philopon/apiary

philopon/apiary

Simple and type safe web framework that can be automatically generate API documentation.
Haskell
73
star
35
fumieval/objective

fumieval/objective

Purely functional objects
Haskell
72
star
36
fumieval/witherable

fumieval/witherable

Filter with effects
Haskell
70
star
37
cdepillabout/servant-checked-exceptions

cdepillabout/servant-checked-exceptions

type-level errors for Servant APIs.
Haskell
70
star
38
myuon/ghc-compiler-notes

myuon/ghc-compiler-notes

A collection of Notes on GHC
Haskell
68
star
39
kazu-yamamoto/hhp

kazu-yamamoto/hhp

Happy Haskell Programming
Haskell
66
star
40
itchyny/miv

itchyny/miv

Vim plugin manager written in Haskell
Haskell
65
star
41
fumieval/free-game

fumieval/free-game

The free game engine
Haskell
64
star
42
jameshaydon/idris-elixir

jameshaydon/idris-elixir

A code-generator for Idris that targets Elixir
Haskell
63
star
43
kazu-yamamoto/dns

kazu-yamamoto/dns

DNS libary in Haskell
Haskell
62
star
44
kazu-yamamoto/http3

kazu-yamamoto/http3

HTTP/3 library in Haskell
Haskell
60
star
45
killy971/hpc-coveralls

killy971/hpc-coveralls

coveralls.io support for haskell code coverage with hpc
Haskell
60
star
46
tanakh/monadius

tanakh/monadius

2-D arcade scroller
Haskell
58
star
47
rnons/shadowsocks-haskell

rnons/shadowsocks-haskell

shadowsocks in haskell
Haskell
57
star
48
tanakh/optparse-declarative

tanakh/optparse-declarative

Declarative command-line option parser
Haskell
57
star
49
ncaq/dic-nico-intersection-pixiv

ncaq/dic-nico-intersection-pixiv

ニコニコ大百科とピクシブ百科事典の共通部分のIME辞書
Haskell
55
star
50
maoe/influxdb-haskell

maoe/influxdb-haskell

InfluxDB client library for Haskell
Haskell
53
star
51
halogenandtoast/ArkhamHorror

halogenandtoast/ArkhamHorror

A rules-compliant browser based version of Arkham Horror: The Card Game.
Haskell
53
star
52
junjihashimoto/sixel

junjihashimoto/sixel

Haskell
52
star
53
konn/equational-reasoning-in-haskell

konn/equational-reasoning-in-haskell

Agda-style equational reasoning in Haskell
Haskell
50
star
54
cdepillabout/password

cdepillabout/password

datatypes and functions for easily working with passwords in Haskell
Haskell
49
star
55
arowM/heterocephalus

arowM/heterocephalus

A type safe template engine for collaborating with front end development tools
Haskell
49
star
56
fumieval/xml-lens

fumieval/xml-lens

Lenses and traversals for xml-conduit
Haskell
49
star
57
maoe/viewprof

maoe/viewprof

Text-based interactive GHC .prof viewer
Haskell
48
star
58
kazu-yamamoto/llrbtree

kazu-yamamoto/llrbtree

Left-leaning red-black trees
Haskell
48
star
59
aiya000/hs-time-script

aiya000/hs-time-script

Time script = Vim script + static typing
Haskell
47
star
60
fumieval/mason

fumieval/mason

fleet-footed ByteString builder
Haskell
47
star
61
kazu-yamamoto/iproute

kazu-yamamoto/iproute

IP Routing Table in Haskell
Haskell
46
star
62
hatashiro/monkey-hs

hatashiro/monkey-hs

An interpreter for the Monkey programming language written in Haskell
Haskell
46
star
63
y-taka-23/miso-tutorial-app

y-taka-23/miso-tutorial-app

An example GHCJS + Miso single page application. 🍜
Haskell
46
star
64
RaminHAL9001/Dao

RaminHAL9001/Dao

The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.
Haskell
46
star
65
lotz84/remote-house

lotz84/remote-house

話したい人々と話しかけられたい人々を繋げるWebアプリ
Haskell
46
star
66
k16shikano/hpdft

k16shikano/hpdft

tools to poke pdf using haskell
Haskell
42
star
67
philopon/haddocset

philopon/haddocset

Generate docset of Dash by Haddock haskell documentation tool
Haskell
42
star
68
rnons/lord

rnons/lord

A unified interface to online radios using mpd/mplayer as backend
Haskell
41
star
69
kazu-yamamoto/mighttpd

kazu-yamamoto/mighttpd

A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.
Haskell
41
star
70
lotz84/double-pendulum-simulation

lotz84/double-pendulum-simulation

二重振り子シミュレーション
Haskell
40
star
71
shnarazk/mios

shnarazk/mios

A SAT solver written in Haskell.
Haskell
39
star
72
arow-oss/goat-guardian

arow-oss/goat-guardian

Reverse proxy that handles authentication
Haskell
39
star
73
kino3/Mini-TT

kino3/Mini-TT

mirror of A simple type-theoretic language: Mini-TT
Haskell
38
star
74
fosskers/mapalgebra

fosskers/mapalgebra

Efficient, polymorphic Map Algebra in Haskell.
Haskell
36
star
75
kazu-yamamoto/cab

kazu-yamamoto/cab

A maintenance command of Haskell cabal packages
Haskell
36
star
76
eliza0x/cotton

eliza0x/cotton

compiler, llvm
Haskell
36
star
77
iijlab/postgresql-pure

iijlab/postgresql-pure

a PostgreSQL client library implemented with pure Haskell
Haskell
35
star
78
jonascarpay/convoluted

jonascarpay/convoluted

Dependently typed convolutional neural networks
Haskell
34
star
79
maoe/tkyprof

maoe/tkyprof

An interactive GHC profiling visualizer
Haskell
34
star
80
konn/type-natural

konn/type-natural

Type-level well-kinded natural numbers.
Haskell
33
star
81
itchyny/qhs

itchyny/qhs

SQL queries on CSV and TSV files
Haskell
33
star
82
tmishima/Hinecraft

tmishima/Hinecraft

This is a simple Minecraft Clone (DEMO) written in Haskell.
Haskell
33
star
83
adetokunbo/haskell-overridez

adetokunbo/haskell-overridez

Simplify usage of nix dependencies during haskell development
Haskell
32
star
84
cdepillabout/world-peace

cdepillabout/world-peace

open union and open product types in Haskell
Haskell
32
star
85
shin-sakata/Citrous

shin-sakata/Citrous

Easy, Fast and Type-Safe Web Application Framework
Haskell
32
star
86
aiya000/nico-lang

aiya000/nico-lang

Nico-lang is the programing language of Nico Yazawa
Haskell
32
star
87
rnons/HadouRex

rnons/HadouRex

douban.fm CLI client in Haskell. You might be interested in https://github.com/rnons/lord
Haskell
31
star
88
fosskers/org-mode

fosskers/org-mode

Parser for Emacs org-mode files
Haskell
31
star
89
dfordivam/tenjinreader

dfordivam/tenjinreader

Full stack Haskell, Japanese learning app
Haskell
31
star
90
hatashiro/line

hatashiro/line

Haskell SDK for the LINE APIs
Haskell
31
star
91
egison/egison-haskell

egison/egison-haskell

Template Haskell Implementation of Egison Pattern Matching
Haskell
31
star
92
cdepillabout/testing-code-that-accesses-db-in-haskell

cdepillabout/testing-code-that-accesses-db-in-haskell

5 ways to test code that accesses a DB in Haskell
Haskell
30
star
93
fumieval/monad-skeleton

fumieval/monad-skeleton

Operational monad library
Haskell
30
star
94
falgon/htcc

falgon/htcc

🐤 A tiny C language compiler (x86-64) (WIP)
Haskell
30
star
95
lotz84/FlappyHaskell

lotz84/FlappyHaskell

An implementation of Flappy Bird in Haskell using FRP and OpenGL.
Haskell
30
star
96
syucream/hastodon

syucream/hastodon

mastodon client module for Haskell
Haskell
30
star
97
killy971/codecov-haskell

killy971/codecov-haskell

codecov.io support for haskell code coverage with hpc
Haskell
29
star
98
maoe/lifted-async

maoe/lifted-async

Run lifted IO operations asynchronously and wait for their results
Haskell
29
star
99
xanxys/hs2bf

xanxys/hs2bf

Haskell to brainfuck compiler
Haskell
29
star
100
waddlaw/TAPL

waddlaw/TAPL

Types and Programming Languages (TAPL)
Haskell
28
star