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 2 months ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated 2 weeks ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• kavon / sml-language-server
  an SML language server that uses SML/NJ's "visible compiler" feature
  ☆25Updated 7 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• Mtac2 / Mtac2
  ☆55Updated 3 weeks ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 4 years ago
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆12Updated 7 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆38Updated last week
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• ct-gradual-typing / Papers
  The Combination of Dynamic and Static Typing from a Categorical Perspective
  ☆10Updated 7 years ago
• ammkrn / nanoda
  A type checker for the Lean theorem prover
  ☆41Updated 4 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last week
• xgrommx / coq-ecosystem
  ☆42Updated 6 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆43Updated last month
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated 2 months ago