Alternatives and similar repositories for k-editor-support:

Users that are interested in k-editor-support are comparing it to the libraries listed below

• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 3 weeks ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last week
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 4 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• Mtac2 / Mtac2
  ☆54Updated 2 weeks ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆49Updated 11 months ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 6 years ago
• pi8027 / stablesort
  Stable sort algorithms and their stability proofs in Coq
  ☆22Updated 3 weeks ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• ammkrn / nanoda
  A type checker for the Lean theorem prover
  ☆41Updated 4 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆43Updated 4 years ago
• coq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated 4 months ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 3 months ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 3 months ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 3 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated last month
• FStarLang / fstar-mode.el
  Emacs support for F*
  ☆68Updated last month