runtimeverification / k-editor-supportLinks
Plugin files for editing K files
☆12Updated last year
Alternatives and similar repositories for k-editor-support
Users that are interested in k-editor-support are comparing it to the libraries listed below
Sorting:
- Interpreter of the ITGL with dynamic type inference☆21Updated 10 months ago
- Formal semantics of LLVM IR in K☆45Updated 7 years ago
- Coq plugin for monomorphization and C code generation☆35Updated this week
- Formal semantics of Rust☆23Updated 4 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated last month
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 7 months ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- LVC verified compiler☆60Updated 7 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A cyclic theorem prover framework.☆32Updated 4 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- The language of the future!☆73Updated last year
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- ☆56Updated last week
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- SPARK 2014 repository for the Why3 verification platform.☆34Updated 2 weeks ago
- rcaml is an OCaml implementation in Rust☆63Updated 8 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated 3 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- Lem semantic definition language☆148Updated 9 months ago
- ☆21Updated 9 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- Higher-order optimization library☆76Updated 2 years ago
- A min-caml port to Rust☆26Updated 10 months ago