CakeML repositories

11 repositories

cakeml
Public
CakeML: A Verified Implementation of ML
programming-language compiler formal-semantics
programming-language compiler formal-semantics theorem-proving sml formal-verification hol
Standard ML
•
BSD 3-Clause "New" or "Revised" License
•99•1.2k•235•8•Updated Aug 27, 2026Aug 27, 2026
candle
Public
The Candle theorem prover (fork of the HOL Light sources)
OCaml
•
Other
•99•26•0•1•Updated Aug 25, 2026Aug 25, 2026
regression
Public
Regression testing infrastructure for CakeML
regression-testing cakeml
regression-testing cakeml
Standard ML
•
GNU General Public License v3.0
•9•4•1•0•Updated Aug 21, 2026Aug 21, 2026
pure
Public
A verified compiler for a lazy functional language
Standard ML
•
Other
•5•44•43•1•Updated Jun 30, 2026Jun 30, 2026
choreo
Public
Standard ML
•4•2•2•0•Updated Mar 15, 2026Mar 15, 2026
game-of-life
Public
Standard ML
•0•3•0•0•Updated Nov 9, 2025Nov 9, 2025
hardware
Public
Verilog development and verification project for HOL4
hardware verilog synthesis
hardware verilog synthesis formal-methods formal-verification hol
Standard ML
•
BSD 3-Clause "New" or "Revised" License
•6•28•0•0•Updated Apr 25, 2025Apr 25, 2025
sss
Public
Simple secure signer: verified hardware wallet
Standard ML
•
GNU General Public License v3.0
•0•1•0•0•Updated Jun 10, 2023Jun 10, 2023
documentation
Public
Documentation for CakeML
TeX
•0•1•0•0•Updated Aug 14, 2018Aug 14, 2018
hol-reflection
Public
Standard ML
•1•8•0•0•Updated Jan 30, 2017Jan 30, 2017
mitb
Public
MAC in the Box
Standard ML
•0•1•0•0•Updated Nov 24, 2016Nov 24, 2016

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

CakeML

All

11 repositories

cakeml

candle

regression

pure

choreo

game-of-life

hardware

sss

documentation

hol-reflection

mitb

Repositories list

11 repositories