ShellCheck, a static analysis tool for shell scripts

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 statically typed lisp, without a GC, for real-time applications.

An advanced keyboard manager

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

The core component that is used to participate in a Cardano decentralised blockchain.

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

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

A GHC-based Haskell to JavaScript compiler

A statically typed concatenative systems programming language.

Pandoc filter for cross-references

A stream-based runtime-verification framework for generating hard real-time C code.

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

A language for intent-centric and declarative decentralised applications

Functional sed for JSON

TLS/SSL implementation in haskell

Erlang backend for the PureScript compiler

A categorical programming language with effects

Systematic concurrency testing meets Haskell.

Algorithmic Information Theory, using Binary Lambda Calculus

Elsa is a lambda calculus evaluator

an implementation of stuck macros

A ML-family Language Compiled to Lua

A small and expressive dependently typed language

Interpret Haskell programs into any cartesian closed category.

Haskell to C compiler via Categorifier

koneko - a concatenative not-quite-lisp for kittens