CakeML

All

11 repositories

pure
Public
A verified compiler for a lazy functional language
Standard ML
•
Other
•5•37•43•0•Updated Sep 7, 2025Sep 7, 2025
cakeml
Public
CakeML: A Verified Implementation of ML
formal-semantics theorem-proving sml formal-verification hol programming-language compiler
Standard ML
•
BSD 3-Clause "New" or "Revised" License
•90•1.1k•204•1•Updated Sep 7, 2025Sep 7, 2025
regression
Public
Regression testing infrastructure for CakeML
regression-testing cakeml
Standard ML
•
GNU General Public License v3.0
•9•3•1•0•Updated Aug 18, 2025Aug 18, 2025
hardware
Public
Verilog development and verification project for HOL4
hardware verilog synthesis formal-methods formal-verification hol
Standard ML
•
BSD 3-Clause "New" or "Revised" License
•5•27•0•0•Updated Apr 25, 2025Apr 25, 2025
game-of-life
Public
Standard ML
•0•0•0•0•Updated Mar 25, 2025Mar 25, 2025
candle
Public
The Candle theorem prover (fork of the HOL Light sources)
OCaml
•
Other
•83•15•0•0•Updated Aug 31, 2024Aug 31, 2024
choreo
Public
Standard ML
•4•2•2•0•Updated Jun 27, 2024Jun 27, 2024
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