Alternatives and similar repositories for first-follow:

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

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆258Updated 3 years ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• gboduljak / stanford-compilers-coursework
  This is a repository of coursework project for the Stanford Compilers MOOC course. The result is a fully-working compiler for the COOL Pr…
  ☆54Updated 2 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆105Updated 2 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆69Updated 5 months ago
• correctcomputation / checkedc-clang
  This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…
  ☆14Updated 2 years ago
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆36Updated 5 years ago
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆119Updated 3 weeks ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆168Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆252Updated last year
• blingenf / copydetect
  Code plagiarism detection tool
  ☆294Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆41Updated 4 months ago
• schnorr / ellerre
  An LR grammar automata generator (yet to be completed)
  ☆23Updated 5 months ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆578Updated last month
• specs-feup / clava
  C/C++ Source-to-Source Tool based on Clang
  ☆76Updated this week
• lac-dcc / lif
  A tool to eliminate timing-based side channels
  ☆49Updated 2 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated last year
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆518Updated 2 months ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆160Updated last year
• dario2994 / pol2dom
  Tool to convert and import problems from Polygon into DOMjudge.
  ☆18Updated last month
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆250Updated 2 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 years ago
• lac-dcc / yali
  A framework to analyze a space formed by the combination of program encodings, obfuscation passes and stochastic classification models.
  ☆33Updated last year
• brenden / ukkonen-animation
  Visualization of Ukkonen's algorithm
  ☆100Updated 6 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆41Updated 5 years ago
• cs-au-dk / TIP
  Static program analysis for TIP
  ☆288Updated 2 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆76Updated last week
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year