Alternatives and similar repositories for first-follow

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

• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆260Updated 3 years ago
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆983Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• jengelsma / yacc-tutorial
  This is the source code for my Yacc/Bison screencast tutorial on YouTube.
  ☆136Updated 7 years ago
• davidcallanan / py-simple-math-interpreter
  An interpreter that can evaluate simple calculations to understand how computers process human-readable text
  ☆59Updated last year
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 8 months ago
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆105Updated 3 years ago
• marcelogdeandrade / PythonCompiler
  Code used on "Writing your own programming language and compiler with Python" post
  ☆239Updated 4 years ago
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆381Updated last week
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆125Updated this week
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆30Updated last year
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆79Updated this week
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,066Updated 2 weeks ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆405Updated 2 weeks ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆590Updated last week
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• konieshadow / lex-yacc-examples
  Lex and YACC examples
  ☆41Updated 4 years ago
• Rattlehead15 / Correlativas
  Árbol de Correlativas de LCC
  ☆11Updated 2 years ago
• jengelsma / lex-tutorial
  Source code for my lex/flex tutorial on YouTube.
  ☆97Updated 10 years ago
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆151Updated 2 weeks ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆291Updated last year
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week