frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

gibbon-compiler/gibbon

A compiler for functional programs on serialized data

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

forthy42/gforth

Gforth mirror on GitHub (original is on Savannah)

dunhamsteve/newt

A toy dependent typed language.

LaurentMazare/xla-rs

Experimentation using the xla compiler from rust

camllight/camllight

The Caml Light implementation of the Caml language

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism