Numba compatible SCFG (Structured Control Flow Graphs) utilities.
☆28Jun 13, 2026Updated this week
Alternatives and similar repositories for numba-scfg
Users that are interested in numba-scfg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sampling with Blackjax on Aesara☆11Mar 10, 2023Updated 3 years ago
- Python bindings for the egglog rust library☆102Jun 8, 2026Updated last week
- Remote Backend Compiler☆29Updated this week
- Clairvoyance LLVM Tools. Instruction scheduling targeting long latency loads.☆14Mar 14, 2019Updated 7 years ago
- ☆14Jan 14, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆20Mar 10, 2024Updated 2 years ago
- E-Graph library☆23Apr 4, 2024Updated 2 years ago
- show python coverage information directly in emacs☆39Jun 1, 2025Updated last year
- ☆11Jan 8, 2022Updated 4 years ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- My implementation for the compiler for the Tiger programming language from Andrew W. Appels book, Modern Compiler Implementation in C.☆15Oct 14, 2020Updated 5 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 8 years ago
- A frozen version of angr for the SAILR paper☆16Sep 4, 2024Updated last year
- ☆10Jun 8, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated last year
- POC work on MLIR backend☆61Aug 21, 2024Updated last year
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated 3 months ago
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Mar 23, 2025Updated last year
- Straightforward unification in Python that's extensible via generic functions.☆53Feb 25, 2026Updated 3 months ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 6 years ago
- Simple, WIP Linux x64 emulator using Windows Hypervisor Platform.☆17Jun 5, 2020Updated 6 years ago
- Simple parser for Python marshal serialization and pyc files☆22Jan 23, 2026Updated 4 months ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆25Feb 26, 2023Updated 3 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 3 years ago
- ☆10Mar 16, 2016Updated 10 years ago
- Low level, branch-free functions for number and string conversion and other utils☆17Apr 13, 2022Updated 4 years ago
- A language server for TableGen and a VSCode extension☆31Updated this week
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Jan 18, 2023Updated 3 years ago
- Tests cases for binary decompilers☆57Aug 26, 2023Updated 2 years ago
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Large scale server deploys using BitTorrent and the BitTornado library☆11Sep 25, 2018Updated 7 years ago
- Tutorials and sampling algorithm comparisons☆86Updated this week
- A simple tool which run Codeforces' testcases easier☆18Jun 7, 2015Updated 11 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 7 months ago
- Code virtualizer☆29May 11, 2016Updated 10 years ago
- egraphs + datalog!☆773Updated this week
- Checkout our paper: History Driven Program Repair here☆11Mar 15, 2019Updated 7 years ago