KeY Theorem Prover for Deductive Java Verification
☆76Mar 14, 2026Updated this week
Alternatives and similar repositories for key
Users that are interested in key are comparing it to the libraries listed below
Sorting:
- Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the I…☆19Aug 25, 2022Updated 3 years ago
- ☆17Jan 23, 2026Updated last month
- Libraries for the analysis of IEC61131-3 code☆21Updated this week
- Static checker for Java☆87Jan 16, 2025Updated last year
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆73Feb 20, 2026Updated last month
- Learning Framework for Logic Calculi☆16Mar 2, 2026Updated 2 weeks ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆120Feb 24, 2026Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆37Mar 1, 2026Updated 2 weeks ago
- Lean4 bindings for raylib☆23Mar 11, 2026Updated last week
- ☆17Jan 13, 2022Updated 4 years ago
- A memory allocator verified with Verus☆33Feb 18, 2026Updated last month
- Storage systems with verified correctness properties☆64Updated this week
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Mechanized baselines for various type system features☆18Mar 13, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆158Mar 13, 2026Updated last week
- Research prototype tool for modular formal verification of C, Rust and Java programs☆477Feb 16, 2026Updated last month
- Tool Support for Correctness-by-Construction☆30Jan 23, 2026Updated last month
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- ☆85Jan 22, 2026Updated last month
- ☆11Oct 21, 2024Updated last year
- Write formal proofs in natural language and LaTeX.☆47Dec 18, 2025Updated 3 months ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Neural Network Enumeration Tool☆34Jan 8, 2026Updated 2 months ago
- GitHub trending daily record, Node.js version. Using Aliyun Function Compute☆13Jan 20, 2024Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆231Updated this week
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- Python wrapper for UNIX dialog utility☆19Aug 16, 2017Updated 8 years ago
- ☆13Jun 22, 2021Updated 4 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- ☆15Jan 17, 2024Updated 2 years ago
- The ElectionGuard SDK Reference Verifier enables the verification of election ballots, tallies, and proofs generated by the ElectionGuard…☆44Jun 6, 2022Updated 3 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- The ISLa (Input Specification Language) language & solver.☆71Jul 1, 2024Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Jul 8, 2021Updated 4 years ago
- ☆19May 5, 2020Updated 5 years ago
- Bonn Lean course for winter 24/25☆43Jan 8, 2026Updated 2 months ago