Explore projects
-
gilmi / strema
BSD 3-Clause "New" or "Revised" LicenseA compiler for a type inferred, functional language with adts, records and pattern matching, targeting JavaScript https://gilmi.gitlab.io/strema
Updated -
-
Louis Jackman / sylan
MIT LicenseSecure yet Expressive Computation: the Sylan Programming Language
Archived 0Updated -
Experiments and studies with lambda calculus
Updated