CakeML

CakeML's repositories

CakeML: A Verified Implementation of ML

Language:Standard MLBSD-3-Clause1090 40 558

A verified compiler for a lazy functional language

Language:Standard MLNOASSERTION37 24 49

Verilog development and verification project for HOL4

Language:Standard MLBSD-3-Clause27 39 1

The Candle theorem prover (fork of the HOL Light sources)

Language:OCamlNOASSERTION15 10

Language:Standard ML8 60

Regression testing infrastructure for CakeML

Language:Standard MLGPL-3.03 4 3

Language:Standard ML2 32 10

Documentation for CakeML

Language:TeX1 50

MAC in the Box

Language:Standard ML1 7 1

Simple secure signer: verified hardware wallet

Language:Standard MLGPL-3.01 60

Language:Standard ML000