frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

luqui/vatican

A lazy specializing virtual machine for purely functional languages

camllight/camllight

The Caml Light implementation of the Caml language

garrigue/certint

A Certified Interpreter for ML with Structural Polymorphism

Lao6tu/TSFMs-Benchmark

TSFMs-Benchmark

attractivechaos/plb

Programming language benchmarks

gibbon-compiler/gibbon

A compiler for functional programs on serialized data