izuzak / noam
JavaScript library for working with automata and grammars for regular and context-free languages
☆210Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for noam
- A tool for analyzing and transforming context-free grammars.☆206Updated this week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆245Updated 3 years ago
- RelaX - a relational algebra calculator☆286Updated 3 weeks ago
- JavaScript Algorithm Visualization library☆112Updated 3 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆100Updated last year
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆79Updated 3 years ago
- BNF Converter☆587Updated 2 weeks ago
- A repository for the Quest For Tetris☆175Updated 3 years ago
- The Vampire Theorem Prover☆300Updated this week
- Work with context-free grammars. Parsing, string generation, and manipulation.☆45Updated 2 years ago
- Grammar Zoo☆84Updated 5 years ago
- Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation☆126Updated last year
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆504Updated 3 months ago
- SableCC☆148Updated 8 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…☆72Updated 4 years ago
- Finite State Machine Designer☆296Updated last year
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆34Updated last year
- Constraint Logic Programming over Finite Domains☆169Updated 4 years ago
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- Regular expression manipulation library☆338Updated 5 months ago
- Turing machine simulator in HTML/Javascript☆83Updated 9 months ago
- ☆132Updated 2 weeks ago
- SWI-Prolog stable releases☆220Updated this week
- Learn Prolog Now LaTeX sources☆82Updated 2 years ago
- ANTLR4 language support for Visual Studio Code☆435Updated this week
- An editor for deterministic finite automata☆51Updated 3 years ago
- A minimalistic and high-performance SAT solver☆1,029Updated 6 months ago
- A framework of various language parsers☆93Updated last week
- Generate an AST and beautify LaTeX code☆68Updated last year