Alternatives and similar repositories for automatatutor-frontend

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

• 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
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• ChrisMayfield / cspogil
  POGIL activities for computer science
  ☆24Updated 3 years ago
• nathanen / I590-tech-gender
  ☆14Updated 5 years ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆43Updated last week
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 3 weeks ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆19Updated last 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
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆48Updated 9 months ago
• CMUSTRUDEL / toxicity-detector
  ☆14Updated 2 years ago
• libyal / dtfabric
  Tooling for data type and structure management
  ☆11Updated 6 months ago
• worldline / angular-training
  Formation Angular (niveau débutant) - Angular training (beginner level)
  ☆10Updated 3 months ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 10 months ago
• latex3 / tagging-project
  Issues related to the tagging project
  ☆61Updated last week
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• Immudelki / IFSCL_CODE
  Bits of code of IFSCL, just for the curious users ;)
  ☆11Updated last year
• based2 / KB
  ☆22Updated this week
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆14Updated 3 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆42Updated 10 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• edpegg / CutTheKnot-Java
  Java code from https://www.cut-the-knot.org/ written by Alexander Bogomolny
  ☆26Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆116Updated this week
• ASSERT-KTH / spork
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
  ☆59Updated 4 months ago
• nuprl / Ocelot
  An IDE for JavaScript, without the "bad parts".
  ☆29Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago