AutomataTutor / automatatutor-frontend
Scala+lift frontend for automatatutor.com
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for automatatutor-frontend
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Online BDD Simulation Tool☆17Updated 2 years ago
- Gamification of Mutation Testing☆41Updated this week
- Java bindings for LLVM libraries☆8Updated 3 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆32Updated last month
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Tim Button's open textbook on set theory☆30Updated last year
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated 2 months ago
- ☆22Updated this week
- POGIL activities for computer science☆23Updated 2 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆13Updated this week
- A number guessing game with a p-adic twist.☆9Updated last year
- Static Analyzer and Verifier☆46Updated last month
- The Melange Language Workbench☆28Updated last year
- Old Clowdr versions 1 & 2 from 2020☆36Updated 3 years ago
- JaTyC: a typestate checker for Java☆15Updated last week
- The Boa language reference compiler.☆33Updated 8 months ago
- Overleaf symbol-recognition extension☆12Updated 2 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated 2 weeks ago
- Source of metamath book☆45Updated 11 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Updated 6 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆12Updated 3 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- ☆19Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- A suite of tools for analyzing compiled Java code.☆43Updated this week