MikeDevice / first-follow
Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
☆126Updated last year
Related projects ⓘ
Alternatives and complementary repositories for first-follow
- https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.☆948Updated 11 months ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆98Updated last year
- RelaX - a relational algebra calculator☆282Updated last week
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 2 months ago
- Finite State Machine Designer☆296Updated last year
- A tool for analyzing and transforming context-free grammars.☆206Updated last week
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆366Updated 3 weeks ago
- This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…☆51Updated 2 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆154Updated 3 years ago
- A complete Parser for C-Language using Yacc.☆96Updated 2 years ago
- A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆14Updated 3 years ago
- Tutorials and courses for Z3☆65Updated last month
- Chickadee OS for Harvard CS 161☆88Updated 8 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated 2 months ago
- Task Preparation System (TPS) - Command-Line Interface☆41Updated 3 months ago
- A simple example demonstrating a calculator written with flex/bison☆221Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated last year
- GNU Bison and GNU Flex C++ example☆208Updated 5 years ago
- A generic Java implementation of Andreas Zeller's delta debugging algorithm☆24Updated 8 years ago
- Tool to convert and import problems from Polygon into DOMjudge.☆16Updated 6 months ago
- The Yices SMT Solver☆371Updated last week
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆52Updated 6 years ago
- Visual Studio Code extension for Coq☆342Updated this week
- The Ultimate program analysis framework.☆198Updated this week
- Programming languages☆26Updated 7 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆246Updated 3 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆23Updated 6 months ago
- C/C++ Source-to-Source Tool based on Clang☆70Updated this week
- Concurrency Primer☆81Updated 3 months ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆278Updated 2 years ago