Awesome Open Source
Awesome Open Source
Combined Topics
haskell x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 1,555 Haskell Open Source Projects

Shellcheck ⭐ 23,195
ShellCheck, a static analysis tool for shell scripts
Pandoc ⭐ 21,834
Universal markup converter
Graphql Engine ⭐ 20,774
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
Postgrest ⭐ 16,615
REST API for any Postgres database
Compiler Explorer ⭐ 8,211
Run compilers interactively from your web browser and interact with the assembly
Milewski Ctfp Pdf ⭐ 8,198
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Semantic ⭐ 7,941
Parsing, analyzing, and comparing source code across many languages
Awesomo ⭐ 7,830
A list of cool open source projects written in C, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala, etc.
Purescript ⭐ 6,978
A strongly-typed language that compiles to JavaScript
Compiler ⭐ 6,332
Compiler for Elm, a functional language for reliable webapps.
Hadolint ⭐ 4,858
Dockerfile linter, validate inline bash, written in Haskell
Haxl ⭐ 3,895
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Carp ⭐ 3,796
A statically typed lisp, without a GC, for real-time applications.
Unison ⭐ 3,663
A friendly programming language from the future
Stack ⭐ 3,516
The Haskell Tool Stack
Fp Course ⭐ 3,493
Functional Programming Course
Cardano Sl ⭐ 3,489
Cryptographic currency implementing Ouroboros PoS protocol
Idris Dev ⭐ 3,278
A Dependently Typed Functional Programming Language
Duckling ⭐ 3,221
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Write You A Haskell ⭐ 2,919
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Functional Programming ⭐ 2,589
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Ghc ⭐ 2,482
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Eta ⭐ 2,458
The Eta Programming Language, a dialect of Haskell on the JVM
Haskell Ide Engine ⭐ 2,447
The engine for haskell ide-integration. Not an IDE
Ghcjs ⭐ 2,411
Haskell to JavaScript compiler, based on GHC
Yesod ⭐ 2,324
A RESTful Haskell web framework built on WAI.
Awesome Haskell ⭐ 2,312
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Wire Server ⭐ 2,273
🇪🇺 Wire back-end services
Hakyll ⭐ 2,255
A static website compiler library in Haskell
Ihaskell ⭐ 2,220
A Haskell kernel for IPython.
Corrode ⭐ 2,044
C to Rust translator
Wiwinwlh ⭐ 2,036
What I Wish I Knew When Learning Haskell
Gitit ⭐ 1,890
A wiki using HAppS, pandoc, and git
Ihp ⭐ 1,816
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Miso ⭐ 1,759
🍜 A tasty Haskell front-end framework
M2cgen ⭐ 1,756
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby) with zero dependencies
Lens ⭐ 1,738
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
Xmonad ⭐ 1,715
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Hledger ⭐ 1,685
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
Lamdu ⭐ 1,672
lamdu - towards the next generation IDE
Hlearn ⭐ 1,570
Homomorphic machine learning
Asterius ⭐ 1,557
A Haskell to WebAssembly compiler
Scotty ⭐ 1,486
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Patat ⭐ 1,484
Terminal-based presentations using Pandoc
Zsh Git Prompt ⭐ 1,474
Informative git prompt for zsh
Arl ⭐ 1,470
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
Servant ⭐ 1,460
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
Nodebook ⭐ 1,460
Nodebook - Multi-Lang Web REPL + CLI Code runner
Agda ⭐ 1,440
Agda is a dependently typed programming language / interactive theorem prover.
Futhark ⭐ 1,432
💥💻💥 A data-parallel functional programming language
Haste Compiler ⭐ 1,414
A GHC-based Haskell to JavaScript compiler
Real World Haskell Cn ⭐ 1,402
《Real World Haskell》中文翻译项目
Simula ⭐ 1,392
Linux VR Desktop
Haskell ⭐ 1,388
Haskell bindings for TensorFlow
Project Euler Solutions ⭐ 1,362
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Yi ⭐ 1,359
The Haskell-Scriptable Editor
Erd ⭐ 1,341
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
Grenade ⭐ 1,340
Deep Learning in Haskell
Haskell Language Server ⭐ 1,332
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Tidal ⭐ 1,292
Pattern language
Fay ⭐ 1,247
A proper subset of Haskell that compiles to JavaScript
Elm Format ⭐ 1,238
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
Cabal ⭐ 1,216
Official upstream development repository for Cabal and cabal-install
Haskell Trainings ⭐ 1,211
Haskell 101 and 102: slides and codelabs
Lux ⭐ 1,208
The Lux Programming Language
Taskell ⭐ 1,160
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
Intellij Haskell ⭐ 1,158
IntelliJ plugin for Haskell
Codeworld ⭐ 1,141
Educational computer programming environment using Haskell
Hlint ⭐ 1,125
Haskell source code suggestions
Koka ⭐ 1,119
Koka language compiler and interpreter
Deckdeckgo ⭐ 1,102
The web open source editor for presentations
Brick ⭐ 1,062
A declarative Unix terminal UI programming library written in Haskell
Intero ⭐ 1,042
Articles ⭐ 1,040
Miscellaneous articles. The readme is the table of contents.
Al Go Rithms ⭐ 1,034
🎵 Algorithms written in different programming languages - https://zoranpandovski.github.io/al-go-rithms/
Haskell Must Watch ⭐ 1,012
Huge list of videos, talks, courses for Haskell programming language.
Halvm ⭐ 1,008
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Kit ⭐ 990
Kit: a magical, high performance programming language, designed for game development. Pre-alpha!
Aeson ⭐ 989
A fast Haskell JSON library
Aura ⭐ 983
A secure, multilingual package manager for Arch Linux and the AUR.
Toodles ⭐ 963
Project management directly from the TODOs in your codebase
Fp Course ⭐ 957
Functional Programming Course
Implicitcad ⭐ 955
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
Cryptol ⭐ 936
Cryptol: The Language of Cryptography
Leksah ⭐ 935
Haskell IDE
Clash Compiler ⭐ 934
Haskell to VHDL/Verilog/SystemVerilog compiler
Ghcid ⭐ 931
Very low feature GHCi based IDE
Radicle Alpha ⭐ 918
A peer-to-peer stack for code collaboration
Neuron ⭐ 910
Future-proof note-taking and publishing based on Zettelkasten
Reflex ⭐ 907
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
Queryparser ⭐ 896
Parsing and analysis of Vertica, Hive, and Presto SQL.
Pragmatapro ⭐ 881
PragmataPro font is designed to help pros to work better
Unused ⭐ 879
Deprecated; see https://github.com/unused-code/unused
Wasp ⭐ 869
A programming language that understands what a web app is.
Kaleidoscope ⭐ 868
Haskell LLVM JIT Compiler Tutorial
Liquidhaskell ⭐ 852
Liquid Types For Haskell
Dex Lang ⭐ 850
Research language for array processing in the Haskell/ML family
Kitten ⭐ 847
A statically typed concatenative systems programming language.
Grin ⭐ 828
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Gifcurry ⭐ 817
😎 The open-source, Haskell-built video editor for GIF makers.
1-100 of 1,555 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210