duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

dunhamsteve/newt

A toy dependent typed language.

bcpeinhardt/learn_otp_with_gleam

A resource for learning the OTP framework with the Gleam programming language

PollRobots/scheme

An R7RS Scheme implemented in WebAssembly

texodus/forml

A programming language

luqui/vatican

A lazy specializing virtual machine for purely functional languages