CakeML

CakeML

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
1.2k Stars
100 Forks
1.2k Watchers

Repositories (2)

cakeml CakeML/cakeml Standard ML

CakeML: A Verified Implementation of ML

1.1k
hardware CakeML/hardware Standard ML

Verilog development and verification project for HOL4

28