caterinaurban / TyppeteLinks
☆37Updated 6 years ago
Alternatives and similar repositories for Typpete
Users that are interested in Typpete are comparing it to the libraries listed below
Sorting:
- Types for Python☆87Updated 7 years ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated last week
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆262Updated last week
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- The LTSmin model checking toolset☆60Updated last year
- SymDiff-Differential-Program-Verifier☆37Updated 3 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆107Updated last year
- SMTscope automatically analyses and visualises SMT solver execution traces.☆45Updated 3 weeks ago
- Type checking ifdef variability☆79Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Extract semantic information about static Python code☆81Updated 2 weeks ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆17Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- EGraphs in OCaml☆77Updated last year
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆121Updated this week
- Python bindings for the egglog rust library☆91Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆67Updated 8 months ago
- Datalog with support for SMT queries and first-order functional programming☆164Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 2 months ago
- Python type hints are Turing complete.☆33Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated this week
- Apron Numerical Abstract Domain Library☆141Updated 8 months ago