Robust, fast, intuitive plain text accounting tool with CLI
A modern proof language
A formatter for Haskell source code
HStreamDB is an open-source, cloud-native streaming database
Haskell to VHDL/Verilog/SystemVerilog compiler
Koka language compiler and interpreter
The fastest way to build type safe web apps
A data-parallel functional programming language
Compiler for Elm, a functional language for reliable webapps
Command-line Kanban board/task manager with support for Trello boards
The engine for haskell ide-integration. Not an IDE
A GHC-based Haskell to JavaScript compiler
Jekyll in Haskell (feat. LaTeX)
Another Haskell web framework for rapid development
wiki engine for small teams
Distributed reverse / forward proxy and tunneling solution for TCP.
dependently typed functional programming language
Game emulator written in Haskell.