Alternatives and similar repositories for automatatutor-frontend

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

• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 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
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆43Updated 3 weeks ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated this week
• 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…
  ☆159Updated 2 weeks ago
• hamousavi / Walnut
  Automated Theorem Prover for Automatic Words
  ☆21Updated 4 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…
  ☆18Updated 2 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆20Updated 2 weeks ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• se-sic / cppstats
  toolsuite for analyzing cpp-preprocessor-based software product lines
  ☆12Updated 2 years ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆146Updated 2 weeks ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 3 months ago
• ChrisMayfield / cspogil
  POGIL activities for computer science
  ☆24Updated 3 years ago
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆109Updated 2 months ago
• saeg / ba-dua
  Data-flow testing coverage for Java
  ☆19Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆92Updated last month
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆11Updated 3 months ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆14Updated this week
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 6 months ago
• raymyers / verified-refactoring
  Exploring techniques for code refactoring with formal verification
  ☆10Updated 9 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last month
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆27Updated 2 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆137Updated this week
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆95Updated this week
• jhcp / piStar
  piStar is an online goal modeling tool supporting the iStar 2.0 requirements engineering standard
  ☆35Updated 4 months ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆32Updated 9 months ago