Parsing, analyzing, and comparing source code across many languages
Universal markup converter
A secure, multilingual package manager for Arch Linux and the AUR.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Agda is a dependently typed programming language / interactive theorem prover.
A Dependently Typed Functional Programming Language
REST API for any Postgres database
easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger
What I Wish I Knew When Learning Haskell
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
Compiler for Elm, a functional language for reliable webapps.
🇪🇺 Wire back-end services
🍝 PureScript package manager and build tool powered by Dhall and package-sets
A Haskell to WebAssembly compiler
:ramen: A tasty Haskell front-end framework
A statically typed lisp, without a GC, for real-time applications.
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
:gemini: higher-order, no-boilerplate, zero-cost monads
The Egison Programming Language
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
Terminal-based presentations using Pandoc
A declarative Unix terminal UI programming library written in Haskell
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
website for browsing packages and exploring documentation
Launch processes with Vault secrets in the environment
A feature-rich Unix terminal client for the Mattermost chat system
Functional Programming Course
The engine for haskell ide-integration. Not an IDE
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...
A 2D charting library for haskell
Hackage-Server: A Haskell Package Repository
Cryptographic currency implementing Ouroboros PoS protocol
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
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).
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
Educational computer programming environment using Haskell
Automatic testing of Haskell programs.
Write You a Scheme
Functional Programming Course
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
The Eta Programming Language, a dialect of Haskell on the JVM
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
A peer-to-peer stack for code collaboration
A statically typed concatenative systems programming language.
Simple clipboard manager to be integrated with rofi - Static binary available
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python