Alternatives and similar repositories for automatatutor-frontend

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

• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 3 weeks ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆151Updated 2 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆99Updated this week
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years 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…
  ☆168Updated 2 weeks ago
• yuemingl / SymJava
  A Java library for fast symbolic-numeric computation
  ☆80Updated 5 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆232Updated 2 weeks ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆78Updated 4 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• carneades / carneades-4
  Version 4 of Carneades, implemented in Go
  ☆55Updated last year
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆43Updated 3 months ago
• TestingResearchIllinois / iFixFlakies
  ☆18Updated 3 years ago
• ChrisMayfield / cspogil
  POGIL activities for computer science
  ☆24Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆97Updated 7 months ago
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated 2 weeks ago
• firetto / Walnut
  ☆12Updated last year
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆30Updated 2 years ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 4 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated 2 years ago
• caballa / covenant
  A Tool for Intersecting Context-Free Grammars
  ☆10Updated 8 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Updated last week
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆57Updated 8 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• Refactoring-Bot / Refactoring-Bot
  Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.
  ☆62Updated 2 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• James-Hanson / junk-theorems-in-lean
  A small collection of formally verified junk theorems provable in Lean4 + Mathlib.
  ☆92Updated last month
• Strumenta / starlasu-kotlin
  Starlasu - A Language Engineering Framework
  ☆116Updated last week
• eclipse-xpect / Xpect
  This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect
  ☆36Updated 2 weeks ago