CakeML/regression

Regression testing infrastructure for CakeML

Language: Standard ML - Size: 257 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 3 - Forks: 8

palmskog/fitch

Certified proof checker for Fitch-style propositional logic proofs

Language: Standard ML - Size: 169 KB - Last synced at: 18 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

shakna-israel/cake-c

A wrapper around CakeML to make compiling nicer.

Language: Shell - Size: 3.91 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

arolle/rust-c-cakeml

Language: Rust - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

arolle/cakeml-translator-ci

Language: Nix - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lucanaef/BaseN

Formalisations of a class of Base-N algorithms.

Language: Standard ML - Size: 90.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ansmirnov/cakeml-build-on-centos

Instructions for building CakeML on CentOS 8

Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

larsrh/isabelle-cakeml 📦

Exporting CakeML to Isabelle with Lem (DISCONTINUED)

Language: Isabelle - Size: 274 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

isabelle-prover/cakeml-component 📦

Isabelle component for CakeML

Language: C - Size: 7.04 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

kth-step/itppv-course

Interactive Theorem Proving course using HOL4

Language: Standard ML - Size: 5.86 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

kth-step/mil

Formal definition, metatheory, and tools for the Machine Independent Language using HOL4 and CakeML

Language: Standard ML - Size: 251 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

SEL4PROJ/cakeml-bake

CakeML build tool

Language: Rust - Size: 71.3 KB - Last synced at: 2 days ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0