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. 🔵🔁🔴↩️
  ☆249Updated 3 years ago
• ComputerSystemsLaboratory / YaCoS
  A Complete Infrastructure to the Design and Exploration of Optimization Sequences
  ☆11Updated 2 years ago
• microsoft / z3guide
  Tutorials and courses for Z3
  ☆71Updated last month
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆212Updated last week
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆315Updated this week
• b30wulffz / automata-toolkit
  A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.
  ☆12Updated 3 years ago
• ataraxie / codeshovel
  Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.
  ☆40Updated 11 months ago
• lac-dcc / hamsa
  A tool to extract complexities and costs from programs and kernels
  ☆17Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated 3 months ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆213Updated 4 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆53Updated 2 weeks ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆65Updated 2 months ago
• srcML / srcML
  srcML Toolkit
  ☆122Updated this week
• stephenfreund / RoadRunner
  ☆71Updated 7 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.
  ☆120Updated 11 years ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 5 months ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆53Updated 6 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆193Updated last week
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆370Updated last week
• lac-dcc / merlin
  Program instrumentation and cost function generation
  ☆28Updated 5 months ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆67Updated 2 months ago
• lac-dcc / Nisse
  Ball Larus edge profiling with loop optimization
  ☆27Updated 2 months ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated 5 months ago
• lac-dcc / lushu
  System to recognize infinite languages and react to string events
  ☆26Updated last year
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆57Updated last year
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆197Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago