Lists (15)
Starred repositories
Cranelift based backend for rustc
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
LLVM for Crellvm: Verified Credible Compilation for LLVM
The Coq development of A Promising Semantics for Relaxed-Memory Concurrency
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…
AOT binary translator from Linux/ELF to WebAssembly
Assignment repo for Systems Verification Fall 2024 at UW-Madison
Tool for automatically inferring inductive invariants of distributed protocols.
A Rust crate that implements "design by contract" via procedural macros
Capability-based verifier for safe Rust clients of interior mutability
Verifying the optimization phases of the GraalVM compiler
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
The official repository of Mozilla's Firefox web browser.
"Small vector" optimization for Rust: store up to a small number of items on the stack
Performance instrumentation and tracing for Android, Linux and Chrome
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Nola: Later-Free Ghost State for Verifying Termination in Iris
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
WebAssembly specification, reference interpreter, and test suite.
A mechanisation of Wasm in Isabelle.