A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

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

A modern proof language

💥💻💥 A data-parallel functional programming language

The Eta Programming Language, a dialect of Haskell on the JVM

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

A statically typed concatenative systems programming language.

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

Project management directly from the TODOs in your codebase

A Testing Framework for Haskell

Extremely modular text editor built in Haskell

Type inference and checking for a safer JavaScript.

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.

The compiler for Keli

Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!

A simple and elegant ray tracer.