zv / z3-mode
An interactive development environment for SMT-LIB files and Z3
☆22Updated 2 years ago
Related projects: ⓘ
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 2 weeks ago
- ☆34Updated last month
- #lang for writing C code☆15Updated 7 years ago
- Manipulating racket bytecode☆25Updated 2 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 8 years ago
- ☆39Updated last month
- My Own Linear Lisp☆36Updated 6 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Racket bindings for Z3☆19Updated 12 years ago
- Auto define Racket bindings to C by parsing header files.☆28Updated 2 years ago
- tla-mode for emacs☆21Updated 3 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Emacs major mode for Alloy☆13Updated 6 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- Tools for interacting with Boogie☆45Updated 8 months ago
- An Efficient LALR(1) Parser Generator for Scheme☆51Updated 3 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- Guile with tracing JIT VM.☆15Updated 7 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 3 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Resolve software differencing and merging☆37Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- ☆16Updated last month
- A library for binary analysis and rewriting☆47Updated 11 months ago
- Reference sheet for the Coq language.☆15Updated 4 years ago
- racket llvm C-API bindings☆17Updated last year
- AI Memo transcript☆23Updated 10 years ago