Alternatives and similar repositories for numba-scfg:

Users that are interested in numba-scfg are comparing it to the libraries listed below

• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆73Updated this week
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• phate / jlm
  ☆60Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆74Updated last month
• riswords / quiche
  ☆21Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆40Updated last year
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆18Updated 2 months ago
• cpcloud / numbsql
  Run Numba compiled functions in SQLite
  ☆38Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆66Updated this week
• frdwarf / dwarf-synthesis
  ☆28Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 3 months ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 4 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 2 weeks ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆100Updated last year
• rochus-keller / TccGen
  A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …
  ☆13Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 3 months ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 3 months ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆41Updated this week
• empirical-soft / asdl4cpp
  Abstract Syntax Definition Language (ASDL) ported to C++
  ☆13Updated 4 years ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago