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.
  ☆102Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆375Updated 2 weeks ago
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆399Updated 3 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 6 months ago
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆94Updated last month
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)
  ☆70Updated 3 years ago
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 6 months ago
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆199Updated last month
• fredfeng / CS162
  Programming languages
  ☆37Updated last week
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆216Updated 3 weeks ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• drifter1 / compiler
  Implementing a complete Compiler for a simple C-like language using the C-tools Flex and Bison
  ☆184Updated 2 years ago
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• SilverScar / C-Language-Parser
  A complete Parser for C-Language using Yacc.
  ☆101Updated 3 years ago
• mewmew / lstlangs
  Language definitions and styles for listings in LaTeX.
  ☆66Updated 4 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆86Updated last year
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆215Updated 4 years ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆246Updated 2 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆26Updated 3 years ago
• Peakergzf / the-marvelous-mrs-maths
  Interesting math related algorithms and problems
  ☆8Updated 5 years ago
• pin3da / notebook-generator
  (Auto) generate notebooks from your source code. Useful for ACM-ICPC
  ☆126Updated 9 months ago
• pniewiejski / learn-io-polling
  🐧 What is epoll?
  ☆76Updated last year
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆173Updated 2 years ago
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆110Updated 2 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆326Updated this week
• ethanhe42 / Modern-Compiler-Implementation-in-C
  book and codes for Modern Compiler Implementation in C
  ☆369Updated 10 months ago
• reberhardt7 / cplayground
  ☆121Updated 2 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆392Updated last month