CakeML

CakeML's repositories

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION954 45 476

A verified compiler for a lazy functional language

Language:Standard MLNOASSERTION31 27 49

Verilog development and verification project for HOL4

Language:Standard MLBSD-3-Clause23 41 1

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

Language:OCamlNOASSERTION11 10

Language:Standard ML8 70

Regression testing infrastructure for CakeML

Language:Standard MLGPL-3.03 6 2

Language:Standard ML2 36 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