-
cs7480-categories-for-pl Public
Forked from john-ml/cs7480-categories-for-plTeX UpdatedNov 16, 2025 -
iris-lean Public
Forked from leanprover-community/iris-leanLean 4 port of Iris, a higher-order concurrent separation logic framework
Lean Apache License 2.0 UpdatedNov 2, 2025 -
tunable-automation Public
Artifact for Tunable Automation in Automated Program Verification
Python UpdatedOct 27, 2025 -
-
clutch Public
Forked from logsem/clutchProbabilistic separation logics for verifying higher-order probabilistic programs.
Rocq Prover MIT License UpdatedOct 2, 2025 -
-
coqdocjs Public
Forked from rocq-community/coqdocjsCollection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
JavaScript BSD 2-Clause "Simplified" License UpdatedAug 13, 2025 -
verified-ironkv Public
Forked from verus-lang/verified-ironkvVerus-verified implementation of Ironfleet Sharded Hash Table key-value store
Rust MIT License UpdatedJul 15, 2025 -
-
verified-storage Public
Forked from microsoft/verified-storageStorage systems with verified correctness properties
C++ MIT License UpdatedJul 10, 2025 -
anvil Public
Forked from anvil-verifier/anvilAnvil is an experimental framework to build practical, formally verified, cluster management controllers.
Rust Other UpdatedJul 9, 2025 -
verified-betrfs Public
Forked from vmware-labs/verified-betrfsA verified high-performance file system
Dafny Other UpdatedJul 9, 2025 -
MPCTT Public
Forked from uds-psl/MPCTTModeling and Proving in Computational Type Theory
Rocq Prover UpdatedJul 9, 2025 -
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
-
verified-memory-allocator Public
Forked from verus-lang/verified-memory-allocatorA memory allocator verified with Verus
Rust Other UpdatedJun 26, 2025 -
hakaru Public
Forked from hakaru-dev/hakaruA probabilistic programming language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 16, 2025 -
human-eval-verus Public
Forked from secure-foundations/human-eval-verusRust MIT License UpdatedFeb 12, 2025 -
fscd21 Public
Forked from FujiiMaika/fscd21A virtual machine for four variants of delimited-control operators. Supplementary material of my FSCD 2021 submission.
OCaml UpdatedDec 4, 2024 -
specfx Public
Forked from wasmfx/specfxWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedNov 26, 2024 -
-
wizard-engine Public
Forked from titzer/wizard-engineResearch WebAssembly Engine
WebAssembly UpdatedAug 2, 2024 -
-
-
verifyo Public
Forked from Kraks/verifyoExperiments with writing relational verifier/synthesizer in miniKanren.
Scheme UpdatedJun 23, 2024 -
-
virgil Public
Forked from titzer/virgilA fast and lightweight native programming language
Shell UpdatedMay 30, 2024 -
-
-
-
{{ message }}