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.☆226Updated 6 months ago
- Finite State Machine Designer☆309Updated 2 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆271Updated 4 years ago
- RelaX - a relational algebra calculator☆309Updated 2 months ago
- Javascript/canvas linguistics syntax tree generator.☆251Updated 3 years ago
- BNF Converter☆611Updated 2 weeks ago
- JavaScript Algorithm Visualization library☆116Updated 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
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆56Updated 7 years ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- The Try It Online family of online interpreters.☆559Updated 4 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆115Updated 2 years ago
- metamath proof enumerators and other things☆91Updated this week
- Grammar Zoo☆96Updated 6 years ago
- The Vampire Theorem Prover☆360Updated last week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated last week
- A universal translator for programming languages☆481Updated 2 years ago
- Tree Proof Generator☆173Updated 8 months ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- A repository for the Quest For Tetris☆183Updated 4 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆538Updated 2 weeks ago
- A regex-based programming language.☆233Updated 2 years ago
- A math-aware search engine.☆347Updated last year
- The Wyvern programming language.☆560Updated last month
- Metamath program - source code for the Metamath executable☆88Updated 3 months ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆171Updated last year
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- Modal Logic Playground☆373Updated last year
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.☆279Updated 4 years ago