Alternatives and similar repositories for vimulator:

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

• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated this week
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 3 weeks ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 9 months ago
• tomokinakamaru / silverchain
  Fluent API generator
  ☆41Updated 2 weeks ago
• PlasmaLang / plasma
  Plasma Programming Language
  ☆167Updated 2 months ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆116Updated 11 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆107Updated last month
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated last month
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆77Updated 2 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆98Updated 3 weeks ago
• eclipse / xtext-xtend
  xtext-xtend
  ☆103Updated last year
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆305Updated last week
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆18Updated last week
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆108Updated last month
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆206Updated 4 months ago
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆187Updated 8 months ago
• CatarinaGamboa / liquidjava
  ☆37Updated last month
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last month
• hakatashi / esolang-box
  Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
  ☆73Updated 11 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆62Updated 3 years ago
• vscosta / yap
  ☆51Updated last week
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆159Updated last week
• derekelkins / agda-vim
  Agda interaction in vim
  ☆131Updated 3 years ago