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:
- Staged Abstract Interpreters☆68Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- Types for Python☆87Updated 6 years ago
- EGraphs in OCaml☆74Updated last year
- Incremental Program Analysis Framework☆93Updated 4 years ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆42Updated 6 months ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆113Updated this week
- An automated deductive program verifier.☆42Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆43Updated 5 months ago
- SymDiff-Differential-Program-Verifier☆37Updated last month
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- Python bindings for egg☆49Updated 2 years ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆133Updated 10 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 6 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆250Updated this week
- Cerberus C semantics☆69Updated last month
- Type checking ifdef variability☆79Updated 4 years ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 weeks ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated last year
- Lem semantic definition language☆146Updated 6 months ago
- Python bindings for the egglog rust library☆89Updated this week
- The LTSmin model checking toolset☆60Updated 10 months ago
- An overview of property-based testing functionality☆73Updated 3 months ago
- Educational Proof Assistant for Type Theory☆75Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆26Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆108Updated last month
- ☆50Updated 2 months ago