Universal markup converter

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

The Haskell Tool Stack

A modern proof language

A Dependently Typed Functional Programming Language

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

💥💻💥 A data-parallel functional programming language

📜 Haskell course info, plan, video lectures, slides

Liquid Types For Haskell

Minimal implementations for dependent type checking and elaboration

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Frank compiler

💻 Exercises for the Haskell Beginners 2022 course

A theory‑backed, ultra type‑safe algebraic effects

Code challenges to solve with Haskell

An environment manager and development tool powered by Nomia.

Graph programming language

Я - extremely composable embeddable programming language

Scarf Gateway is a universal redirect layer for any digital artifact or URL, anywhere online. Scarf Gateway acts much like a customizable link shortener that also lets you serve software like Docke…