Alternatives and similar repositories for automatatutor-frontend

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

• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 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 2 weeks ago
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 3 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆44Updated 2 weeks ago
• joonazan / regex-equivalence
  A web page for checking if two regular expressions match the same language.
  ☆17Updated 7 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆148Updated last month
• 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…
  ☆160Updated last month
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆51Updated 2 years ago
• eclipse-pmd / eclipse-pmd
  PMD Plugin for the Eclipse IDE
  ☆13Updated this week
• ChrisMayfield / cspogil
  POGIL activities for computer science
  ☆24Updated 3 years ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 4 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆113Updated this week
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆13Updated last year
• JetBrains-Research / buckwheat
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Updated 3 years ago
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆15Updated this week
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated 10 months ago
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆35Updated 2 weeks ago
• se2p / FlaPy
  A Tool for Mining Flaky Tests at Scale
  ☆16Updated last month
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆28Updated 2 years ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆96Updated last week
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆97Updated 2 weeks ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆142Updated this week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆79Updated 9 years ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆19Updated last year