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
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆47Updated 6 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated last week
• suyjuris / obst
  Online BDD Simulation Tool
  ☆18Updated 2 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆51Updated last year
• nuprl / Ocelot
  An IDE for JavaScript, without the "bad parts".
  ☆30Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated last month
• breandan / cstk
  🔍 Code Search Tools & Experiments
  ☆12Updated this week
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆98Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last week
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆42Updated last week
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆106Updated 2 months ago
• 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…
  ☆153Updated last month
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆54Updated 7 months ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆19Updated 3 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆217Updated this week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆41Updated last year
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 3 weeks ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 3 weeks ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆112Updated last month
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago