Alternatives and similar repositories for vimulator:

Users that are interested in vimulator are comparing it to the libraries listed below

• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆110Updated last month
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆207Updated last week
• skinny85 / graalvm-truffle-tutorial
  The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework
  ☆44Updated last month
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆68Updated this week
• TroupeLang / Troupe
  Troupe programming language
  ☆21Updated this week
• standardml / twelf
  The Twelf Programming Language
  ☆128Updated 2 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆132Updated 3 years ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆144Updated this week
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆176Updated 2 months ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated this week
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆18Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆149Updated last week
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆323Updated last week
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated last week
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 2 months ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated 11 months ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆221Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆112Updated last month
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆123Updated last week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆185Updated last week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆206Updated last week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated last week
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆42Updated 3 years ago
• JetBrains / arend-lib
  ☆81Updated last month
• cedille / cedille
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
  ☆377Updated last year
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆63Updated 3 years ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 11 months ago