A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidden classes; bytecode inline caching; type-specialized bytecode; an experimental template JIT.
☆51Jun 16, 2026Updated 4 months ago
Alternatives and similar repositories for skybison
Users that are interested in skybison are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for incremental computations☆17Oct 3, 2026Updated last month
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 3 years ago
- canonical-imports follows your imports and finds out where the things you are importing are actually defined☆17Oct 5, 2026Updated 3 weeks ago
- Instagram's experimental performance oriented greenfield implementation of Python.☆294Dec 17, 2022Updated 3 years ago
- ☆17Jul 6, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SSA based compiler targeting x86_64☆12Oct 22, 2021Updated 5 years ago
- Easy bindings between Lean and Python.☆37Updated this week
- A list of dead JIT compiler projects for CPython.☆18Sep 30, 2022Updated 4 years ago
- An icpp module of the cross-platform GUI toolkit Qt.☆11Aug 7, 2024Updated 2 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- Self-hosting C toolchain, from scratch☆36Feb 7, 2025Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- A Nim wrapper for QuickJS☆13Mar 27, 2023Updated 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.
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆21Mar 10, 2024Updated 2 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g…☆14Jul 30, 2024Updated 2 years ago
- A fast, zero dependency, single-header WebAssembly interpreter☆39Oct 10, 2023Updated 3 years ago
- A small inline caching demo.☆15Feb 1, 2023Updated 3 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- When there are not enough locks from the standard library☆28Jul 17, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- Ridiculously experimental chess engine written in Nim.☆15Apr 26, 2021Updated 5 years ago
- ☆21May 11, 2025Updated last year
- self education and historical research of the C++ compiler cfront v1.0☆25Oct 19, 2015Updated 11 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- Fast, Efficient FrontEnds.☆19Oct 24, 2026Updated last week
- An easy-to-use, incremental, multi-threaded garbage collector for Rust☆12Aug 11, 2024Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Bootstrapping a simple C/C++ based compiler.☆17May 28, 2026Updated 5 months ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆28Oct 22, 2026Updated last week
- A Lean (4) type checker written in RPython☆11Oct 26, 2026Updated last week
- injector/safetyhook/kananlib/minhook combo☆14Oct 26, 2026Updated last week
- egraph <-> json☆18Dec 29, 2025Updated 10 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Formalizing origami geometry and numbers☆11Aug 31, 2026Updated 2 months ago