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 2 weeks ago
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 5 months ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆79Updated 4 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• 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…
  ☆17Updated last month
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆97Updated last month
• codelion / gramtest
  GramTest: A tool for Grammar based Test case generation
  ☆88Updated 2 years ago
• RELabUU / aqusa-core
  A command line version of the AQUSA tool
  ☆15Updated last year
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆114Updated this week
• TestingResearchIllinois / iFixFlakies
  ☆17Updated 3 years ago
• ChrisMayfield / cspogil
  POGIL activities for computer science
  ☆24Updated 3 years ago
• eclipse-pmd / eclipse-pmd
  PMD Plugin for the Eclipse IDE
  ☆13Updated this week
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 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
• joonazan / regex-equivalence
  A web page for checking if two regular expressions match the same language.
  ☆17Updated 7 years ago
• boalang / compiler
  The Boa language reference compiler.
  ☆33Updated 10 months ago
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• 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…
  ☆161Updated 2 weeks ago
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated 2 months ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated last month
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆47Updated 3 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆12Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated this week
• kensens / FrAngel
  A Java program synthesizer.
  ☆22Updated 6 years ago