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
  ☆22Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆81Updated this week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆40Updated this week
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 3 years ago
• compiler-research / idd
  A System for Differential Debugging
  ☆20Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated last month
• 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
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 2 weeks ago
• sdiehl / mlir-egglog
  A toy compiler for NumPy array expressions that uses e-graphs and MLIR
  ☆56Updated last week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 10 months 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 week
• JonesBeach / memphis
  A ridiculous Python interpreter written—from scratch—in Rust.
  ☆23Updated this week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• 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 …
  ☆14Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 3 months ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last week
• pearu / functional_algorithms
  Functional algorithms - definitions and implementations
  ☆10Updated last week
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆53Updated 6 months ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆20Updated 5 months ago
• paradise-fi / divine
  DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…
  ☆22Updated 4 years ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 5 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago