Simplicity - Programming language

Simplicity is a programming language created in 2017.

#1420on PLDB

9Years Old

Download source code:

git clone https://github.com/ElementsProject/simplicity

Simplicity is a work-in-progress low-level programming language with greater flexibility and expressiveness than Bitcoin Script. Simplicity is a typed, combinator-based, functional language without loops and recursion, designed to be used for crypto-currencies and blockchain applications.

Tags: programming language
Simplicity is developed on GitHub and has 301 stars
Early development of Simplicity happened in https://lists.ozlabs.org/pipermail/simplicity/
Simplicity is written in Haskell, C, Coq, Nix, Markdown, Diff, Tex, Make, HTML