runtimeverification / k-editor-support
Plugin files for editing K files
☆11Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for k-editor-support
- Interpreter of the ITGL with dynamic type inference☆21Updated last month
- Coq plugin for monomorphization and C code generation☆33Updated last week
- Formal semantics of LLVM IR in K☆44Updated 6 years ago
- Programs for checking the ρ property☆17Updated 3 years ago
- A Formal Verification of Algorithm W☆17Updated 3 years ago
- Formal semantics of Rust☆23Updated 3 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- Minimal Haskell Compiler☆63Updated 6 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆28Updated 2 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- Haskell x Android☆24Updated 2 years ago
- A Refinement Checker based on CSP☆28Updated 2 years ago
- ☆22Updated 8 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆49Updated 6 months ago
- Higher-order optimization library☆73Updated last year
- The language of the future!☆72Updated 10 months ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆42Updated 10 months ago
- Structurally-typed strict functional core language☆19Updated 9 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- A formalisation of the Calculus of Constructions☆66Updated 3 months ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Stable sort algorithms and their stability proofs in Coq☆22Updated last month
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- ☆10Updated 5 years ago