Universal markup converter

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Cryptographic currency implementing Ouroboros PoS protocol

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

Cryptol: The Language of Cryptography

A statically typed concatenative systems programming language.

A multi-syntax functional programming language that compiles to WebAssembly.