Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
☆271Feb 25, 2026Updated this week
Alternatives and similar repositories for nagini
Users that are interested in nagini are comparing it to the libraries listed below
Sorting:
- Definition of the Viper intermediate verification language.☆95Updated this week
- Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.☆147Updated this week
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆90Updated this week
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 20, 2026Updated last week
- Simple (fast) transformer inference in PyTorch with torch.compile + lit-llama code☆10Aug 29, 2023Updated 2 years ago
- An analysis tool for Python that blurs the line between testing and type systems.☆1,254Jan 19, 2026Updated last month
- Research prototype tool for modular formal verification of C, Rust and Java programs☆475Feb 16, 2026Updated 2 weeks ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- The web interface for your urbit.☆14Mar 21, 2018Updated 7 years ago
- SeaHorn Verification Framework☆471May 27, 2025Updated 9 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆84Nov 17, 2025Updated 3 months ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Boogie☆569Updated this week
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Updated this week
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- The Ultimate program analysis framework.☆238Updated this week
- Natural language tactics to teach mathematics using Lean 4☆118Feb 11, 2026Updated 2 weeks ago
- Web service version of https://github.com/guykisel/inline-plz - lints your Pull Requests and comments inline on the diffs!☆16Feb 24, 2022Updated 4 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Coq library for verified low-level programming☆62Jun 15, 2017Updated 8 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆24May 14, 2025Updated 9 months ago
- Datalog based relational programming in Python.☆15Dec 26, 2022Updated 3 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- Improved error messages for Python assert statements☆64Oct 30, 2016Updated 9 years ago
- A language for symbolic transitions system, inspired by Ivy.☆73Sep 5, 2025Updated 5 months ago
- Public url for your local django web server☆19Jul 18, 2018Updated 7 years ago
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆55Jun 9, 2024Updated last year
- A Modern Probabilistic Model Checker☆163Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,744Updated this week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- Dafny is a verification-aware programming language☆3,301Feb 18, 2026Updated last week
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,264Updated this week
- Sources for the ANSI/ISO C Specification Language manual☆66Oct 29, 2025Updated 4 months ago
- Python Event Source Library☆34Dec 7, 2016Updated 9 years ago