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.☆225Updated 4 months ago
- Finite State Machine Designer☆309Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- BNF Converter☆607Updated 2 weeks ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 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
- Modal Logic Playground☆372Updated last year
- Turing machine simulator in HTML/Javascript☆84Updated last year
- Tree Proof Generator☆171Updated 6 months 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
- Grammar Zoo☆94Updated 6 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆114Updated 2 years ago
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- RelaX - a relational algebra calculator☆307Updated last month
- The Vampire Theorem Prover☆349Updated this week
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆132Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆387Updated 2 months ago
- A math-aware search engine.☆347Updated last year
- A regex-based programming language.☆233Updated 2 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- SRI Yices SMT Solver☆427Updated 2 weeks ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 3 weeks ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆46Updated 3 years ago
- Madoko is a fast markdown processor for high quality academic and technical articles☆400Updated last year
- metamath proof enumerators and other things☆94Updated last year
- A LaTeX Typesetting Game☆256Updated 5 months ago
- The Try It Online family of online interpreters.☆557Updated 4 years ago
- A browser extension to convert TeX to Unicode in browser inputs.☆63Updated 3 weeks ago