izuzak / noamLinks
JavaScript library for working with automata and grammars for regular and context-free languages
☆220Updated last year
Alternatives and similar repositories for noam
Users that are interested in noam are comparing it to the libraries listed below
Sorting:
- A tool for analyzing and transforming context-free grammars.☆228Updated this week
- Tree Proof Generator☆175Updated 9 months ago
- Finite State Machine Designer☆309Updated 2 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆276Updated 4 years ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆57Updated 7 years ago
- Turing machine simulator in HTML/Javascript☆86Updated last year
- RelaX - a relational algebra calculator☆312Updated 2 weeks ago
- BNF Converter☆612Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆56Updated 3 months ago
- The Vampire Theorem Prover☆366Updated this week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆393Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆130Updated this week
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆73Updated 5 years ago
- ☆40Updated 10 years ago
- Program Synthesis Course☆265Updated last year
- Work with context-free grammars. Parsing, string generation, and manipulation.☆49Updated 3 years ago
- Modal Logic Playground☆374Updated last year
- metamath proof enumerators and other things☆91Updated 2 weeks ago
- Metamath program - source code for the Metamath executable☆89Updated 4 months ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆36Updated 2 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- The Try It Online family of online interpreters.☆562Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- Grammar Zoo☆96Updated 6 years ago
- PIPE - Platform Independent Petri Net Editor☆244Updated 3 years ago
- The HOL Light theorem prover☆481Updated last week
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆440Updated this week
- microsat☆138Updated 3 years ago