CakeML

Repositories

• pure

  A pure call-by-name language
  Standard ML 1 2 0 1 Updated Apr 14, 2021

• cakeml

  CakeML: A Verified Implementation of ML

  programming-language compiler formal-semantics theorem-proving sml formal-verification hol
  Standard ML 59 662 163 (29 issues need help) 1 Updated Apr 14, 2021

• choreo
  Standard ML 3 0 2 (2 issues need help) 0 Updated Apr 14, 2021

• hardware

  Verilog development and verification project for HOL4

  hardware verilog hol verified-stack
  Standard ML BSD-3-Clause 2 8 0 0 Updated Dec 1, 2020

• regression

  Regression testing infrastructure for CakeML

  regression-testing cakeml
  Standard ML GPL-3.0 6 2 0 1 Updated Sep 30, 2020

• documentation

  Documentation for CakeML
  TeX 0 1 0 0 Updated Aug 14, 2018

• hol-reflection
  Standard ML 1 9 0 0 Updated Jan 30, 2017

• mitb

  MAC in the Box
  Standard ML 0 1 0 0 Updated Nov 24, 2016