Alternatives and similar repositories for automata-from-regex

Users that are interested in automata-from-regex are comparing it to the libraries listed below

• 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 2 months ago
• dvirtz / GreenTiger
  Solutions to exercises of Modern Compiler Implementation in C book
  ☆36Updated 5 years ago
• stardust95 / TinyCompiler
  c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成…
  ☆255Updated 8 years ago
• shdxiang / xy-compiler
  A toy complier.
  ☆119Updated 2 years ago
• sukrutrao / SAT-Solver-DPLL
  A simple SAT solver that implements the DPLL algorithm with unit resolution
  ☆45Updated 5 years ago
• Uyouii / cCompiler
  c语言编译器，用 lex 和 yacc 工具完成词法分析与语法分析并生成语法树，C++实现了语 法树的解析并生成中间代码，生成中间代码的过程中实现了错误检测。C++实 现了中间代码的优化操作。之后利用 python 对中间代码进行处理并生成 mips 汇编码并且可以成功在 …
  ☆187Updated 7 years ago
• bigconvience / llvm-ir-in-action
  ☆31Updated 3 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• altairmn / COOL-Compiler
  Compiler for COOL. Uses ANTLR and LLVM Toolchain. Written in JAVA.
  ☆44Updated 9 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• CAST-projects / Clang-ast-viewer
  Clang AST viewer
  ☆64Updated 8 years ago
• Trinkle23897 / os2019
  操作系统 2019 ucore labs
  ☆46Updated 6 years ago
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 4 years ago
• AlanShaw-GitHub / MiniMIPS
  Introducing the new lightweight MIPS Assembler and Disassembler, supporting syntax highlighting, code editing, file dragging and dropping…
  ☆37Updated 7 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆25Updated 11 years ago
• guch8017 / CminusfCompiler
  A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC
  ☆15Updated 3 years ago
• etnichols / nfa-to-dfa
  NFA to DFA Conversion Implementation in C++.
  ☆24Updated 3 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last week
• geeeeeeeeek / tiger
  Modern Compiler Implementation in C
  ☆40Updated 9 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆248Updated last year
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 5 years ago
• CharlieMartell / Compiler-Construction
  COOL Compiler
  ☆11Updated 9 years ago
• afterthat97 / cool-compiler
  Stanford CS1/CS143 Compilers Course Project - Cool compiler
  ☆131Updated 6 years ago
• cmcl / tiger
  a compiler implementation
  ☆56Updated 12 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 6 months ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆21Updated 2 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆59Updated last year
• skyzluo / CS143-Compilers-Stanford
  My solutions to the programming assignments of the Stanford Compiler course.
  ☆371Updated 10 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago