GeezerVison is showing github.com — CakeML
Popular repositories
Loading
CakeML: A Verified Implementation of ML
Standard ML
1.2k
112
A verified compiler for a lazy functional language
Standard ML
47
5
Forked from jrh13/hol-light
The Candle theorem prover (fork of the HOL Light sources)
OCaml
31
3
Verilog development and verification project for HOL4
Standard ML
28
6
Regression testing infrastructure for CakeML
Standard ML
4
9
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
OCaml
Standard ML
TeX
Sort
Showing 10 of 11 repositories
cakeml
Public
CakeML: A Verified Implementation of ML
CakeML/cakeml's past year of commit activity
CakeML/candle's past year of commit activity
OCaml
31
103
0
1
Updated Nov 8, 2026
pure
Public
A verified compiler for a lazy functional language
CakeML/pure's past year of commit activity
Standard ML
47
5
43
1
Updated Oct 3, 2026
regression
Public
Regression testing infrastructure for CakeML
CakeML/regression's past year of commit activity
Standard ML
4
GPL-3.0
9
1
0
Updated Aug 21, 2026
CakeML/choreo's past year of commit activity
CakeML/game-of-life's past year of commit activity
Standard ML
3
0
0
0
Updated Nov 9, 2025
hardware
Public
Verilog development and verification project for HOL4
CakeML/hardware's past year of commit activity
Standard ML
28
BSD-3-Clause
6
0
0
Updated Apr 25, 2025
sss
Public
Simple secure signer: verified hardware wallet
CakeML/sss's past year of commit activity
Standard ML
1
GPL-3.0
0
0
0
Updated Jun 10, 2023
CakeML/documentation's past year of commit activity
TeX
1
0
0
0
Updated Aug 14, 2018
CakeML/hol-reflection's past year of commit activity
Standard ML
8
1
0
0
Updated Jan 30, 2017
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.