zv / z3-modeLinks
An interactive development environment for SMT-LIB files and Z3
☆24Updated 3 years ago
Alternatives and similar repositories for z3-mode
Users that are interested in z3-mode are comparing it to the libraries listed below
Sorting:
- Tools for interacting with Boogie☆47Updated 5 months ago
- Emacs support for F*☆70Updated 2 months ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated 2 months ago
- tla-mode for emacs☆23Updated 4 years ago
- ☆37Updated 2 weeks ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated last month
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 3 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Emacs mode for Lean☆69Updated 2 years ago
- #lang for writing C code☆15Updated 8 years ago
- Quickly jump to x86 documentation from Emacs☆58Updated last year
- Abstracting Definitional Interpreters☆69Updated 7 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- HASKELL: Yale Haskell system written in Lisp☆102Updated 11 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆52Updated 4 years ago
- racket llvm C-API bindings☆18Updated last month
- Racket bindings for Z3☆24Updated 6 years ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Disassembler for Racket☆79Updated 2 months ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated 4 months ago
- The People's Verification System☆158Updated this week
- ☆58Updated 11 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated 2 weeks ago
- Racket bindings for Z3☆20Updated 13 years ago
- OCaml support for Flycheck using Merlin☆22Updated last year