ngoffee

s48

Scheme 48. Git import of http://www.s48.org/cgi-bin/hgwebdir.cgi/s48 dev repo (seems to be down).

aliceml

A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming

datomish

A persistent, relational store inspired by Datomic and DataScript.

ela

Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typing and features, which are normally adopted by statically typed languages, such as algebraic data types and Haskell style type classes.

guru-lang

Automatically exported from code.google.com/p/guru-lang

mapbox-studio-classic

plzoo

Programming Languages Zoo

rhine-ml

🏞 an OCaml compiler for an untyped lisp

type-systems

Implementations of various type systems in OCaml.