izuzak / noam
JavaScript library for working with automata and grammars for regular and context-free languages
☆211Updated 5 months ago
Alternatives and similar repositories for noam:
Users that are interested in noam are comparing it to the libraries listed below
- A tool for analyzing and transforming context-free grammars.☆211Updated 2 months ago
- Tree Proof Generator☆161Updated 2 weeks 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
- The Vampire Theorem Prover☆325Updated this week
- An automated theorem prover for first-order logic.☆235Updated 3 years ago
- BNF Converter☆594Updated this week
- Program Synthesis Course☆250Updated 11 months ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆102Updated 2 years ago
- Metamath program - source code for the Metamath executable☆81Updated 6 months ago
- ☆137Updated this week
- Turing machine simulator in HTML/Javascript☆84Updated last year
- Java Assembler Interpreter☆66Updated 3 years ago
- metamath proof enumerators and other things☆91Updated 6 months ago
- Grammar Zoo☆85Updated 6 years ago
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆80Updated 3 years ago
- A LaTeX Typesetting Game☆244Updated 3 weeks ago
- SWI-Prolog for SHaring: a SWI-Prolog web IDE☆510Updated last week
- RelaX - a relational algebra calculator☆294Updated 2 months ago
- A place for automata☆73Updated 5 months ago
- The HOL Light theorem prover☆446Updated this week
- git mirror of the Munich isabelle hg repository☆120Updated this week
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆252Updated 3 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- SWI-Prolog stable releases☆225Updated 2 months ago
- ☆40Updated 9 years ago
- Metamath source file for logic and set theory☆269Updated this week
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆34Updated last year
- Search for ambiguities in context-free grammars.☆39Updated 3 years ago
- The Yices SMT Solver☆387Updated last month
- Parser for Attempto Controlled English (ACE)☆194Updated 9 months ago