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.☆224Updated 4 months ago
- RelaX - a relational algebra calculator☆307Updated last week
- Finite State Machine Designer☆306Updated last year
- 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 4 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆267Updated 4 years ago
- The Vampire Theorem Prover☆344Updated this week
- BNF Converter☆607Updated 2 weeks ago
- JavaScript Algorithm Visualization library☆116Updated 4 years ago
- Turing machine simulator in HTML/Javascript☆84Updated last year
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Tree Proof Generator☆169Updated 6 months ago
- Javascript/canvas linguistics syntax tree generator.☆249Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- Modal Logic Playground☆372Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆55Updated 7 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated this week
- metamath proof enumerators and other things☆94Updated last year
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆171Updated last year
- Madoko is a fast markdown processor for high quality academic and technical articles☆399Updated 11 months ago
- A regex-based programming language.☆233Updated 2 years ago
- ☆40Updated 9 years ago
- The HOL Light theorem prover☆469Updated last month
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆430Updated this week
- A website that simulates various finite state machines: DFA, NFA, PDA.☆111Updated 2 years ago
- Git fork of Logisim code base☆221Updated 8 years ago
- ☆169Updated 10 years ago
- The Wyvern programming language.☆561Updated last month
- Work with context-free grammars. Parsing, string generation, and manipulation.☆46Updated 3 years ago