XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used throughout all phases of the compilation.
☆117Jul 28, 2017Updated 8 years ago
Alternatives and similar repositories for xoc
Users that are interested in xoc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- XOCFE is an concise, clearly, C compiler frontend, it is easy to understand and modify. XOCFE's input is pure C, output is an AST tree.☆56Apr 25, 2026Updated 2 months ago
- XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular…☆122Apr 25, 2026Updated 2 months ago
- Polyhedral Transformation, Linear Programming Solver, Polyhedral based dependence analysis☆29Dec 4, 2016Updated 9 years ago
- Open Source Compiler☆18Oct 18, 2013Updated 12 years ago
- Oberon Portable Compiler and Linker☆14Oct 1, 2011Updated 14 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Java reflection through JNI made easy.☆26Jul 8, 2016Updated 9 years ago
- a c89 compiler, need total test.☆29Jan 20, 2018Updated 8 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆17Aug 10, 2012Updated 13 years ago
- a compiler including c++ implemented automatic grammar tools.☆22May 3, 2017Updated 9 years ago
- fork of jamvm 2.0☆14Nov 30, 2018Updated 7 years ago
- Useful Plugin for IDA to Trace Function Call Tree☆26Jan 4, 2018Updated 8 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 …☆20Mar 10, 2024Updated 2 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆39Dec 1, 2023Updated 2 years ago
- A Lisp->C compiler, using the dynamic linking loader☆30Apr 28, 2011Updated 15 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Feb 23, 2016Updated 10 years ago
- ☆14May 18, 2020Updated 6 years ago
- The larva programming Language☆144Aug 26, 2022Updated 3 years ago
- ☆11May 26, 2020Updated 6 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- CVS import of official cscope tool (http://cscope.sf.net)☆27Aug 21, 2012Updated 13 years ago
- The carbon intermediate representation language☆37Dec 23, 2020Updated 5 years ago
- A multi-thread Redis implementation with RCU☆18May 22, 2025Updated last year
- Library for creating code/data breakpoints at runtime on Win32/Win64☆21Aug 9, 2014Updated 11 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.
- ☆26Nov 13, 2013Updated 12 years ago
- Protocol Buffers lexer & parser for PLY☆12Nov 11, 2014Updated 11 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- LLVM Linker for Mobile Computing☆83Jun 6, 2016Updated 10 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 4 years ago
- A pure Go implementation of the Lua virtual machine.☆45Mar 24, 2017Updated 9 years ago
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- ☆21Jul 13, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Psybrus Engine & Toolchain☆26Nov 1, 2016Updated 9 years ago
- 我上了俞珺华老师 2017 年春季的证明论课,记了些笔记,慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- A simple ARM/x86(_64) static linker☆46Mar 9, 2023Updated 3 years ago
- Lua like script language☆17Apr 26, 2016Updated 10 years ago
- The core tools for Blade rich client development.☆89Sep 30, 2019Updated 6 years ago
- ☆13May 6, 2023Updated 3 years ago
- 怪盗キッド(Kaitou Kiddo)☆23Dec 10, 2022Updated 3 years ago