hrutvik
Follow
-
herdtools7 Public
Forked from herd/herdtools7The Herd toolsuite to deal with .cat memory models (version 7.xx)
OCaml Other UpdatedNov 19, 2025 -
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Standard ML Other UpdatedMay 22, 2025 -
hol-webpages Public
Forked from HOL-Theorem-Prover/hol-webpagesWebpages for the HOL4 website (currently at hol-theorem-prover.org)
HTML UpdatedJan 29, 2025 -
regression Public
Forked from CakeML/regressionRegression testing infrastructure for CakeML
Standard ML GNU General Public License v3.0 UpdatedAug 15, 2024 -
cakeml Public
Forked from CakeML/cakemlCakeML: A Verified Implementation of ML
Standard ML Other UpdatedFeb 26, 2024 -
armv8.6-asl-snapshot Public
Forked from HOL-Theorem-Prover/armv8.6-asl-snapshotStandard ML UpdatedAug 28, 2023 -
syzkaller Public
Forked from google/syzkallersyzkaller is an unsupervised coverage-guided kernel fuzzer
Go Apache License 2.0 UpdatedNov 21, 2022 -