Top 3893 haskell open source projects

301. Critbit
A Haskell implementation of crit-bit trees.
✭ 136
haskell
302. Free
free monads
✭ 135
haskell
303. Zor Yoldan Haskell
Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.
304. Generics Sop
Generic Programming using True Sums of Products
✭ 135
haskelltypes
305. Haskell Webapps
Proof-of-concept code for a typical webapp implemented in various Haskell libraries/frameworks
306. Elsa
Elsa is a lambda calculus evaluator
307. Threadscope
A graphical tool for profiling parallel Haskell programs
✭ 134
haskell
308. Haskeleton
💀 A Haskell package skeleton.
✭ 134
haskell
309. Haskell Yesod Realworld Example App
Exemplary real world application built with Haskell + Yesod
310. Opengl
Haskell bindings to OpenGL
✭ 133
haskell
311. Ajhc
A fork of jhc. And also a Haskell compiler.
✭ 133
haskell
312. Llvm General
Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
✭ 133
haskell
314. Kore
The symbolic execution engine powering the K Framework
✭ 133
haskell
315. Lambda Ccc
Convert lambda expressions to CCC combinators
✭ 132
haskell
316. Mono Traversable
Type classes for mapping, folding, and traversing monomorphic containers
✭ 132
haskell
317. Numerical
Numerical is the core library for Numerical Haskell
✭ 132
haskell
318. Bake
UNMAINTAINED: Continuous integration server
✭ 132
haskell
319. Envy
😠 Environmentally friendly environment variables
320. Idris Cil
A Common Intermediate Language backend for Idris.
✭ 132
haskell
321. Universum
🌌 Prelude written in @Serokell
322. Cql
CQL: Categorical Query Language implementation in Haskell
323. Registry
Components as records of functions for Haskell
324. Hoodle
hoodle : A pen notetaking program written in haskell
✭ 131
haskell
325. Mongodb
MongoDB driver for Haskell
✭ 131
haskell
326. Git Mediate
Become a conflict resolution hero
✭ 131
haskell
327. Hare
The Haskell Refactoring Tool
✭ 130
haskell
328. Haskelllive
Source code of the Haskell Live episodes.
✭ 130
haskell
329. Hamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
✭ 130
haskell
330. Plate
Principled schema system for JSON. Work in progress.
331. Merkle Tree
Merkle Trees and Merkle Inclusion Proofs
332. Streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions
✭ 129
haskell
333. Idris Vimscript
Compile Idris to Vimscript, like you always wanted.
✭ 130
haskell
334. Haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
335. Nixos Manager
Manage your NixOS packages and configuration via a simple, intuitive UI
336. Dotfiles
My main configuration files
✭ 129
haskell
337. Vimus
An MPD client with vim-like key bindings, written in Haskell
✭ 129
haskellmpd
338. A Tour Of Go In Haskell
Write "Concurrency" section of "A Tour of Go" in Haskell
339. Discord Haskell
Haskell library for writing Discord bots
340. Hsdev
Haskell development tool
341. Propagators
The Art of the Propagator. See also:
✭ 125
haskell
342. Tal
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
✭ 128
haskell
343. Wc
Beating unix `wc` in Haskell
✭ 128
haskell
344. Cradle
Let's Build a Compiler (in Haskell)
✭ 126
haskell
345. Configurator
A Haskell library supporting flexible, dynamic file-based configuration.
✭ 127
haskell
346. Toysolver
My sandbox for experimenting with solver algorithms.
347. Logitext
Beautiful, interactive visualizations of logical inference
✭ 127
haskell
349. Validity
Validity and validity-based testing
✭ 127
haskell
350. Hs Web3
Web3 API for Haskell.
301-350 of 3893 haskell projects