CakeML: A Verified Implementation of ML
-
Updated
Nov 3, 2026 - Standard ML
#
hol
Here are 36 public repositories matching this topic...
Canonical specifications for Hiero Consensus Specifications (HCS) — originally written and maintained by Hashgraph Online
-
Updated
Oct 19, 2026
Model finder for higher-order logic
-
Updated
Jul 11, 2026 - OCaml
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
Jan 29, 2024 - Isabelle
Verilog development and verification project for HOL4
-
Updated
Apr 25, 2025 - Standard ML
The opentheory tool processes higher order logic theory packages
-
Updated
Oct 11, 2026 - Standard ML
A purely functional higher order logic kernel
-
Updated
Sep 12, 2026 - Haskell
Hands-on Labs (HOLs) and presentations for Microservices, Serverless and Containers readiness.
docker kubernetes microservice azure lab hackfest azure-app-service hol azure-container-registry azure-container-service
-
Updated
Dec 2, 2017 - Shell
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
-
Updated
Oct 23, 2026 - OCaml
A kernel-minimal LCF-style HOL theorem prover in the Wolfram Language
-
Updated
Jun 21, 2026 - Wolfram Language
Coq version of (part of) the HOL-IMP theories accompanying the book "Concrete Semantics with Isabelle/HOL". Formalized using a now outdated version of CoqHammer.
-
Updated
Apr 15, 2022 - Coq
Add this topic to your repo
To associate your repository with the hol topic, visit your repo's landing page and select "manage topics."