Alternatives and similar repositories for numba-scfg

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

• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆22Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆80Updated last week
• heavyai / rbc
  Remote Backend Compiler
  ☆30Updated 9 months ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 2 weeks ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 2 weeks ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆38Updated this week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated this week
• google / jsir
  An MLIR-based JavaScript intermediate representation
  ☆34Updated last month
• riswords / quiche
  ☆22Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last year
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• compiler-research / idd
  A System for Differential Debugging
  ☆20Updated 2 months ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated last week
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆51Updated last week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• lifting-bits / gap
  A utility library to bridge llvm and mlir gaps.
  ☆13Updated 5 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆20Updated this week