Universal markup converter

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

Parsing, analyzing, and comparing source code across many languages

A statically typed lisp, without a GC, for real-time applications.

The Haskell Tool Stack

A modern proof language

💥💻💥 A data-parallel functional programming language

A fast functional language based on two level type theory

Examples of Dependently-typed programs in Haskell

Generates https://eel.is/c++draft

Experimental Language based on Rust and Haskell

Stand-alone command-line version of the pointful plugin for Lambdabot.

Commandline interface to the aria2 download manager

FineTeX is a simple lang for math document preparation translatated into LaTeX

Setfuck, an esolang based on the hereditarily finite sets.

A simple elaborator for dependent type theory