A strongly-typed language that compiles to JavaScript

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

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

Haskell library for building declarative animations based on SVG graphics

A programming language with static memory management based on λ-calculus

Functional programming with fewer indirections

Simple blockchain server written in Haskell for educational purposes

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

🍃 🌳 🍂 Efficient implementation of the implicit treap data structure