Alternatives and similar repositories for first-follow

Users that are interested in first-follow are comparing it to the libraries listed below

• CyberZHG / toolbox
  Encoding and parsing tools.
  ☆1,009Updated last week
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 3 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆750Updated last month
• evanw / fsm
  Finite State Machine Designer
  ☆310Updated 2 years ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆451Updated 4 months ago
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆113Updated 4 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆35Updated 2 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆98Updated last week
• jengelsma / yacc-tutorial
  This is the source code for my Yacc/Bison screencast tutorial on YouTube.
  ☆136Updated 7 years ago
• arthaud / c2bf
  Compiler from C to brainfuck
  ☆241Updated 2 years ago
• automatarium / automatarium
  A place for automata
  ☆80Updated 2 months ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆218Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆430Updated last month
• BorysLevytskyi / BitwiseCmd
  Bitwise Calculator Online
  ☆343Updated last week
• icpcarchive / icpcarchive.github.io
  Collection of problems and solutions of final and regional ICPC contests
  ☆15Updated last year
• alpertron / calculators
  Source code of calculators hosted at https://www.alpertron.com.ar
  ☆248Updated last month
• ridiculousfish / cdecl-blocks
  The venerable cdecl, with Apple blocks support
  ☆1,079Updated 5 months ago
• f0rki / mapping-high-level-constructs-to-llvm-ir
  A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
  ☆649Updated last year
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆308Updated 8 months ago
• DmitrySoshnikov / syntax
  Syntactic analysis toolkit, language-agnostic parser generator.
  ☆648Updated 2 months ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆98Updated last year
• fredfeng / CS162
  Programming languages
  ☆41Updated last week
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆269Updated 3 months ago
• wertarbyte / coreutils
  Enhancements to the GNU coreutils (especiall head)
  ☆251Updated last year
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆362Updated 4 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆259Updated 5 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆172Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆230Updated last week
• SRI-CSL / yices2
  SRI Yices SMT Solver
  ☆441Updated 4 months ago