Popular repositories Loading

1. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

2. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML

3. LunarML LunarML Public

   Forked from minoki/LunarML

   The Standard ML compiler that produces Lua/JavaScript

   Standard ML

4. substandardml substandardml Public

   a wip compiler for an ML-based language - compiles to javascript

   Rust

5. polyml polyml Public

   Forked from polyml/polyml

   my fork of polyml with some vibe coded extra profiling tools

   Standard ML