Projects in Awesome Lists by verse-lab
A curated list of projects in awesome lists by verse-lab .
https://github.com/verse-lab/ceramist
Verified hash-based AMQ structures in Coq
amq bloom-filter coq coq-formalization counting-bloom-filter probability quotient-filter
Last synced: 10 Feb 2025
https://github.com/verse-lab/toychain
A minimalistic blockchain consensus implemented and verified in Coq
blockchain consensus coq distributed-systems
Last synced: 10 Feb 2025
https://github.com/verse-lab/ego
EGraphs in OCaml
egraphs equality-saturation ocaml
Last synced: 14 Apr 2025
https://github.com/verse-lab/lean-ssr
LeanSSR: an SSReflect-Like Tactic Language for Lean
Last synced: 06 Mar 2025
https://github.com/verse-lab/veil
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
lean proof-assistant smt verification
Last synced: 04 Apr 2025
https://github.com/verse-lab/bythos
Compositional Verification of Composite Byzantine Protocols
byzantine-fault-tolerance coq distributed-protocols distributed-systems formal-verification
Last synced: 16 Jan 2025
https://github.com/verse-lab/sisyphus
Mostly Automated Proof Repair for Verified Libraries
coq curry-howard-isomorphism formal-verification higher-order-functions invariant-inference ocaml pldi-artifact proof-repair separation-logic
Last synced: 14 Feb 2025
https://github.com/verse-lab/rem
Contributing the `extract method` refactoring for Rust.
Last synced: 14 Apr 2025
https://github.com/verse-lab/hippodrome
An automatic program repair tool for data races in Java programs.
Last synced: 14 Apr 2025
https://github.com/verse-lab/coq-lgtm
Framework for Hyper-safety proofs about structured data
Last synced: 16 Jan 2025
https://github.com/verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
coq data-race-detection formal-verification generic-tree logical-clock rosetree separation-logic vector-clock
Last synced: 14 Apr 2025