izuzak / noam
JavaScript library for working with automata and grammars for regular and context-free languages
☆208Updated 3 weeks ago
Related projects: ⓘ
- A tool for analyzing and transforming context-free grammars.☆205Updated 2 weeks ago
- Constraint Logic Programming over Finite Domains☆168Updated 4 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆96Updated last year
- BNF Converter☆583Updated last month
- Turing machine simulator in HTML/Javascript☆82Updated 7 months ago
- JavaScript Algorithm Visualization library☆112Updated 3 years ago
- Finite State Machine Designer☆292Updated 11 months ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆50Updated 6 years ago
- The Vampire Theorem Prover☆281Updated this week
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆33Updated 10 months ago
- A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]☆332Updated this week
- Tree Proof Generator☆151Updated last month
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆70Updated 4 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆245Updated 3 years ago
- ☆130Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆46Updated 10 years ago
- Work with context-free grammars. Parsing, string generation, and manipulation.☆46Updated 2 years ago
- Some notes taken while working on Prolog☆150Updated 9 months ago
- The Yices SMT Solver☆368Updated this week
- A repository for the Quest For Tetris☆175Updated 3 years ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆351Updated 2 months ago
- ☆219Updated last month
- Metamath program - source code for the Metamath executable☆76Updated last month
- Contextual types meet mechanized metatheory!☆184Updated last month
- Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech☆64Updated last year
- IOCCC International Obfuscated C code contest entries☆132Updated 4 years ago
- Git fork of Logisim code base☆211Updated 7 years ago
- The Whiley Compiler (WyC)☆217Updated last year
- A regex-based programming language.☆232Updated last year
- CPU design and toolchain for a simple computer architecture☆112Updated 9 years ago