Alternatives and similar repositories for automatatutor-frontend

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

• TestingResearchIllinois / iFixFlakies
  ☆18Updated 3 years ago
• eclipse-pmd / eclipse-pmd
  PMD Plugin for the Eclipse IDE
  ☆13Updated this week
• 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…
  ☆163Updated last week
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated this week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆228Updated 3 weeks ago
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆36Updated 2 months ago
• JetBrains-Research / sorrel
  Plugin for checking license compatibility in IntelliJ IDEA
  ☆25Updated 3 weeks ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆57Updated 7 years ago
• Refactoring-Bot / Refactoring-Bot
  Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.
  ☆62Updated 2 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated last week
• Strumenta / starlasu-kotlin
  Starlasu - A Language Engineering Framework
  ☆114Updated 2 weeks ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated last month
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆109Updated last year
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆29Updated 3 weeks ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 4 months ago
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated 4 months ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated last month
• JetBrains / reading-club
  Open paper reading club @ JetBrains
  ☆38Updated last year
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆67Updated this week
• mdmourao / class-ping
  This project is designed to manage class attendance. It uses an OTP (One-Time Password) system to verify that students are present in cla…
  ☆18Updated last month