CakeML

A Verified Implementation of ML

Pinned Repositories

cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML925 46 45982
candle
The Candle theorem prover (fork of the HOL Light sources)
Language:OCaml8 1 02
choreo
Language:Standard ML2 35 104
documentation
Documentation for CakeML
Language:TeX1 6 00
hardware
Verilog development and verification project for HOL4
Language:Standard ML22 42 15
hol-reflection
Language:Standard ML8 7 01
mitb
MAC in the Box
Language:Standard ML1 8 10
pure
A verified compiler for a lazy functional language
Language:Standard ML19 26 493
regression
Regression testing infrastructure for CakeML
Language:Standard ML3 6 27
sss
Simple secure signer: verified hardware wallet
Language:Standard ML1 6 00

CakeML's Repositories

CakeML/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML925 46 45982
CakeML/hardware
Verilog development and verification project for HOL4
Language:Standard ML22 42 15
CakeML/pure
A verified compiler for a lazy functional language
Language:Standard ML19 26 493
CakeML/candle
The Candle theorem prover (fork of the HOL Light sources)
Language:OCaml8 1 02
CakeML/hol-reflection
Language:Standard ML8 7 01
CakeML/regression
Regression testing infrastructure for CakeML
Language:Standard ML3 6 27
CakeML/choreo
Language:Standard ML2 35 104
CakeML/documentation
Documentation for CakeML
Language:TeX1 6 00
CakeML/mitb
MAC in the Box
Language:Standard ML1 8 10
CakeML/sss
Simple secure signer: verified hardware wallet
Language:Standard ML1 6 00