Top 3893 haskell open source projects

351. Skylighting
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
✭ 124
haskell
352. Regex Genex
Given a list of regexes, generate all possible strings that matches all of them.
✭ 126
haskell
354. Typed Wire
Language independent type-safe communication
✭ 126
haskell
355. Weeder
Detect dead exports or package imports
✭ 126
haskell
356. Zephyr
Tree shaking breeze for PureScript CoreFn AST
357. Micro Ci
A tiny CI server built around GitHub and Nix
358. Smudge
A domain-specific language for state machines.
359. Hydra
Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support. It's currently moving to the production-ready state
✭ 126
haskell
360. Kei
A small and expressive dependently typed language
✭ 126
haskell
361. Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
362. Msgpack Haskell
Haskell implementation of MessagePack / msgpack.org[Haskell]
✭ 125
haskell
363. Discrimination
Fast linear time sorting and discrimination for a large class of data types
✭ 125
haskell
364. Hlearn
Homomorphic machine learning
365. Mafia
Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
366. Graphmod
A utility for displaying the module dependencies of Haskell programs.
✭ 124
haskell
368. Haskell Foldl Library
Composable, streaming, and efficient left folds
✭ 124
haskell
369. Zoomhub
Share and view high-resolution images effortlessly
370. Example Servant Elm
Example for a web app with a servant backend and an elm frontend
✭ 124
haskell
371. Mighttpd2
File/CGI web server on warp
✭ 123
haskell
372. Hsenv
Virtual Haskell Environment builder
✭ 123
haskell
373. Handsomesoup
Easy HTML parsing for Haskell
✭ 123
haskell
374. Repa
High performance, regular, shape polymorphic parallel arrays.
✭ 123
haskell
375. Awesome Open Science
some links to projects/tools related to "open science".
✭ 123
haskell
377. Shakespeare
Haml-like template files that are compile-time checked
✭ 122
haskell
378. Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
✭ 122
haskell
379. Haskell Sdl2 Examples
SDL2 tutorial code in Haskell
✭ 122
haskell
381. Safe Exceptions
Safe, consistent, and easy exception handling
✭ 122
haskell
383. Calico
cat, but for colors 😼
384. Hfmt
Format Haskell programs. Inspired by the gofmt utility.
✭ 121
haskell
385. Quantfin
quant finance in pure haskell
✭ 121
haskell
386. Learn Physics
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
✭ 121
haskell
387. Lasca Compiler
Lasca is Scala shifted towards Haskell.
389. Unfog
⏱ Minimalist CLI task & time manager, written in Haskell.
390. Vim Syntax Shakespeare
A set of vim syntax files for highlighting the various Html templating languages in Haskell
✭ 120
haskellvim
391. Safe Money
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
✭ 120
haskell
392. Diagrams Lib
Diagrams standard library
✭ 117
haskell
393. Ide Backend
ide-backend drives the GHC API to build, query, and run your code
✭ 119
haskell
394. Kontiki
An implementation of the Raft consensus protocol
✭ 119
haskell
395. Cubical
Implementation of Univalence in Cubical Sets
✭ 119
haskell
396. Fragnix
Fragment-based code distribution!
✭ 119
haskell
397. Neks
A dead simple networked key/value store
✭ 119
haskell
398. Idris Py
Python backend for Idris (generates Python source, not bytecode).
✭ 119
haskell
399. Nirum
Nirum: IDL compiler and RPC/distributed object framework for microservices
400. Compositional deep learning
Deep learning via category theory and functional programming
✭ 118
haskell
351-400 of 3893 haskell projects