CakeML

icon indicating a website link https://cakeml.org

icon location A Verified Implementation of ML

Results 3 repositories owned by CakeML

cakeml

921
Stars
81
Forks
Watchers

CakeML: A Verified Implementation of ML

verified publisher icon CakeML

hardware

22
Stars
5
Forks
Watchers

Verilog development and verification project for HOL4

verified publisher icon CakeML

pure

18
Stars
3
Forks
Watchers

A verified compiler for a lazy functional language

verified publisher icon CakeML