SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A friendly programming language from the future

A modern proof language

Official Haskell IDE support via the language server protocol (LSP)

Pattern language

Agda is a dependently typed programming language / interactive theorem prover.

Dapp, Seth, Hevm, and more

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

A formatter for Haskell source code

Wakatime server implementation & analytics dashboard

Library for functional reactive programming in Haskell.

📺 A free and simple to use video player made with Haskell.

A modern syntax for the λ-calculus.

Automatic Differentiation

An ML-like functional programming language

Generate Haskell bindings for GObject-Introspection capable libraries

🂺 A Multiplayer Poker App Crafted with Haskell and React

A categorical programming language with effects

HVM3

A simple library for reporting compiler/interpreter errors

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Euterpea version 2

a collection of cellular automata written in Haskell with Diagrams

Haskell implementation of open games

An interpreter of Hagino's Categorical Programming Language (CPL).

Haskell bindings to OpenGL

Generate Haskell code from a type

Source Code from "Making Music with Haskell" video

Formal specification of RISC-V Instruction Set

A compiler into EVM code