gibbon-compiler/gibbon

A compiler for functional programs on serialized data

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

jasisz/aver

Aver is a programming language for auditable AI-written code

dbousque/lymp

Use Python functions and objects from OCaml

duo-lang/duo-lang

Duo - A research language exploring duality in programming language design

dbp/funtal

FunTAL: mixing a functional language with assembly.

luqui/vatican

A lazy specializing virtual machine for purely functional languages

dunhamsteve/newt

A toy dependent typed language.