Skip to content
@CakeML

CakeML

A Verified Implementation of ML

Popular repositories Loading

  1. cakeml cakeml Public

    CakeML: A Verified Implementation of ML

    Standard ML 938 81

  2. hardware hardware Public

    Verilog development and verification project for HOL4

    Standard ML 23 5

  3. pure pure Public

    A verified compiler for a lazy functional language

    Standard ML 21 3

  4. candle candle Public

    Forked from jrh13/hol-light

    The Candle theorem prover (fork of the HOL Light sources)

    OCaml 11 2

  5. hol-reflection hol-reflection Public

    Standard ML 8 1

  6. regression regression Public

    Regression testing infrastructure for CakeML

    Standard ML 3 8

Repositories

Showing 10 of 10 repositories
  • cakeml Public

    CakeML: A Verified Implementation of ML

    CakeML/cakeml’s past year of commit activity
    Standard ML 938 81 191 (29 issues need help) 6 Updated Aug 2, 2024
  • candle Public Forked from jrh13/hol-light

    The Candle theorem prover (fork of the HOL Light sources)

    CakeML/candle’s past year of commit activity
    OCaml 11 76 0 0 Updated Jul 27, 2024
  • regression Public

    Regression testing infrastructure for CakeML

    CakeML/regression’s past year of commit activity
    Standard ML 3 GPL-3.0 8 0 1 Updated Jul 24, 2024
  • pure Public

    A verified compiler for a lazy functional language

    CakeML/pure’s past year of commit activity
    Standard ML 21 3 43 0 Updated Jun 29, 2024
  • choreo Public
    CakeML/choreo’s past year of commit activity
    Standard ML 2 4 2 (2 issues need help) 0 Updated Jun 27, 2024
  • 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
  • hardware Public

    Verilog development and verification project for HOL4

    CakeML/hardware’s past year of commit activity
    Standard ML 23 BSD-3-Clause 5 0 0 Updated Feb 9, 2023
  • documentation Public

    Documentation for CakeML

    CakeML/documentation’s past year of commit activity
    TeX 1 0 0 0 Updated Aug 14, 2018
  • hol-reflection Public
    CakeML/hol-reflection’s past year of commit activity
    Standard ML 8 1 0 0 Updated Jan 30, 2017
  • mitb Public

    MAC in the Box

    CakeML/mitb’s past year of commit activity
    Standard ML 1 0 0 0 Updated Nov 24, 2016

Top languages

Loading…

Most used topics

Loading…