AutomataTutor / automatatutor-frontend
Scala+lift frontend for automatatutor.com
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for automatatutor-frontend
- Java bindings for LLVM libraries☆8Updated 3 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Pedagogical first-order prover in Python☆73Updated this week
- Tim Button's open textbook on set theory☆30Updated last year
- Work with context-free grammars. Parsing, string generation, and manipulation.☆45Updated 2 years ago
- UCalgary version of forallx, an introduction to formal logic☆95Updated 2 weeks ago
- A regular expression to SMT-LIB constraint translator☆10Updated 5 years ago
- POGIL activities for computer science☆23Updated 2 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated this week
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- Open Quality Model and Tool Support for Quality Modelling and Evaluation☆11Updated 6 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- ☆19Updated 11 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆76Updated last month
- The LaTeX lwarp package — Convert LaTeX to HTML.☆34Updated 9 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Source of metamath book☆45Updated 10 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆16Updated 7 years ago
- LODA Programs for Integer Sequences☆31Updated this week
- SMTInterpol interpolating SMT solver☆60Updated 4 months ago
- GAPT: General Architecture for Proof Theory☆94Updated this week
- Textbook on Gödel's incompleteness theorems and computability theory☆16Updated 3 years ago
- Main repository for the Galois/Two Six Pirate Project for DARPA GAPS☆4Updated 3 years ago
- ☆16Updated last year
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- 🐧 Penguins in LaTeX with TikZ☆67Updated last month