izuzak / noamLinks
JavaScript library for working with automata and grammars for regular and context-free languages
☆221Updated 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.☆230Updated last week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- RelaX - a relational algebra calculator☆312Updated last week
- Finite State Machine Designer☆310Updated 2 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- BNF Converter☆618Updated this week
- The Vampire Theorem Prover☆378Updated this week
- Javascript/canvas linguistics syntax tree generator.☆253Updated 2 months ago
- Modal Logic Playground☆375Updated last year
- Tree Proof Generator☆177Updated 2 weeks ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- A math-aware search engine.☆351Updated 2 years ago
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 2 months 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
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- Grammar Zoo☆98Updated 7 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆135Updated 2 weeks ago
- A repository for the Quest For Tetris☆185Updated 4 years ago
- Metamath source file for logic and set theory☆302Updated this week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- SRI Yices SMT Solver☆441Updated 4 months ago
- A universal translator for programming languages☆483Updated 3 years ago
- A regex-based programming language.☆233Updated 2 years ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆395Updated 3 weeks ago
- ☆40Updated 10 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆50Updated 3 years ago
- A LaTeX Typesetting Game☆262Updated 10 months ago
- The HOL Light theorem prover☆497Updated this week