AutomataTutor / automatatutor-frontendLinks
Scala+lift frontend for automatatutor.com
☆10Updated 6 years ago
Alternatives and similar repositories for automatatutor-frontend
Users that are interested in automatatutor-frontend are comparing it to the libraries listed below
Sorting:
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated this week
- Tim Button's open textbook on set theory☆38Updated this week
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- AI-powered quiz generator☆27Updated 2 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes☆19Updated last month
- A Modern Probabilistic Model Checker☆148Updated last week
- Gamification of Mutation Testing☆42Updated last month
- Website for serving Pyret to folks.☆25Updated last week
- A Low Barrier Proof Assistant☆113Updated this week
- The Melange Language Workbench☆29Updated last year
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆66Updated this week
- Online BDD Simulation Tool☆18Updated 3 years ago
- An IDE for JavaScript, without the "bad parts".☆30Updated 2 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- The semantics of Java in K☆19Updated 3 years ago
- Symbolic formula representation and solver interaction library☆161Updated last week
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 4 months ago
- Textbook on metalogic based on the Open Logic Project☆43Updated last year
- A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆12Updated 4 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆22Updated this week
- epsilon is a scanner generator☆28Updated 3 years ago
- ☆18Updated 6 months ago
- ☆19Updated 2 years ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- ☆23Updated this week