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 4 months ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last month
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last month
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆32Updated last month
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• rems-project / lem
  Lem semantic definition language
  ☆140Updated 4 months ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated 2 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 2 weeks ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 3 weeks ago
• hide-kawabata / traf
  A proof tree viewer that works with Coq through Proof General
  ☆28Updated 4 years ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆30Updated 2 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• Mtac2 / Mtac2
  ☆55Updated 3 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 5 years ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆44Updated 2 months ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• GaloisInc / daedalus
  The Daedalus data description language
  ☆74Updated 3 months ago