Explore projects
-
-
Programming Languages / Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Scripts and tools to compile Clean for multiple platforms (e.g. Linux, Windows and Android).
Updated -
Updated