CakeML

CakeML's repositories

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION925 46 459

Verilog development and verification project for HOL4

Language:Standard MLBSD-3-Clause22 42 1

A verified compiler for a lazy functional language

Language:Standard MLNOASSERTION19 26 49

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

Language:OCamlNOASSERTION8 10

Language:Standard ML8 70

Regression testing infrastructure for CakeML

Language:Standard MLGPL-3.03 6 2

Language:Standard ML2 35 10

Documentation for CakeML

Language:TeX1 60

MAC in the Box

Language:Standard ML1 8 1

Simple secure signer: verified hardware wallet

Language:Standard MLGPL-3.01 60