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
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆36Updated this week
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated 2 weeks ago
• JetBrains-Research / buckwheat
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Updated 3 years ago
• BESSER-PEARL / B-OCL-Interpreter
  B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…
  ☆24Updated last month
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆56Updated 7 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆145Updated this week
• Strumenta / starlasu-kotlin
  Starlasu - A Language Engineering Framework
  ☆114Updated 2 weeks ago
• Adriankhl / relativitization
  Turn-based strategy game / agent-based simulation framework / social model in 4D relativistic spacetime
  ☆27Updated last year
• cmuvariability / PaperReadingGroup
  ☆10Updated 11 years ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆30Updated 2 years ago
• TestingResearchIllinois / iFixFlakies
  ☆18Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for automata, graphs, and transition systems
  ☆98Updated 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 2 months ago
• codidact / docs
  ☆87Updated 6 months 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
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆18Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆116Updated 3 weeks ago
• elide-dev / gradle
  Experimental Gradle plugin for Elide
  ☆26Updated 7 months ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆68Updated 2 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 5 months ago
• emsejournal / openscience
  Empirical Software Engineering journal (EMSE) open science and reproducible research initiative
  ☆34Updated last year
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• thm-projects / arsnova-mobile
  ARSnova is a novel web-based Audience Response System developed at THM.
  ☆17Updated 4 years ago
• dmusican / Elegit
  A GUI client for people who want to learn Git.
  ☆30Updated 3 years ago
• JetBrains-Research / sorrel
  Plugin for checking license compatibility in IntelliJ IDEA
  ☆25Updated last month
• JetBrains / reading-club
  Open paper reading club @ JetBrains
  ☆38Updated last year
• StefanOltmann / thumbnail-fixer
  Repair & enhance embedded thumbnails
  ☆14Updated 2 weeks ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆51Updated 3 years ago