Alternatives and similar repositories for automatatutor-frontend

Users that are interested in automatatutor-frontend are comparing it to the libraries listed below

• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 3 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆13Updated last week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 7 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 3 years ago
• fivasim / Antikythera-Simulation
  The Antikythera Mechanism Simulation - android application
  ☆22Updated 12 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated this week
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆20Updated 3 years ago
• gemoc / farmingmodeling
  DSLs for modeling and analyzing farming systems
  ☆11Updated 8 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆42Updated 3 weeks ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 8 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆154Updated this week
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• barnowl / barnowl
  A multi-protocol curses IM client.
  ☆49Updated 6 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆221Updated this week
• eclipse / Xpect
  This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect
  ☆34Updated 2 months ago
• SpoonLabs / npefix
  Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…
  ☆14Updated 7 months ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆110Updated 2 weeks ago
• ASSERT-KTH / spork
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
  ☆58Updated 3 months ago
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 4 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆42Updated last year
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• callegar / LaTeX-draftwatermark
  The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…
  ☆15Updated last year