A friendly programming language from the future

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A Dependently Typed Functional Programming Language

💥💻💥 A data-parallel functional programming language

Cryptol: The Language of Cryptography

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Domain-Specific Languages of Mathematics

symbolic EVM evaluator

Equational laws for free

Smart contract specification language

Haskell implementation of open games

Render graphs using a declarative markup.

lojban parser