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.
☆116Jul 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.☆55Sep 20, 2025Updated 6 months ago
- XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular…☆121Sep 20, 2025Updated 6 months ago
- ☆35Sep 20, 2025Updated 6 months ago
- Polyhedral Transformation, Linear Programming Solver, Polyhedral based dependence analysis☆28Dec 4, 2016Updated 9 years ago
- A daemon to control OCI container runtimes☆18Apr 29, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Open Source Compiler☆18Oct 18, 2013Updated 12 years ago
- Oberon Portable Compiler and Linker☆14Oct 1, 2011Updated 14 years ago
- Java reflection through JNI made easy.☆25Jul 8, 2016Updated 9 years ago
- SubC Compiler : By Nils M Holm, 2011--2012☆16Aug 10, 2012Updated 13 years ago
- fuse client based on aliyun oss☆52Apr 3, 2020Updated 6 years ago
- a compiler including c++ implemented automatic grammar tools.☆22May 3, 2017Updated 8 years ago
- A analysis tool for Ruby that adds optional static typing☆37Mar 11, 2011Updated 15 years ago
- fork of jamvm 2.0☆14Nov 30, 2018Updated 7 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Dec 1, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Codeplay's tutorial LLDB-MSP430 - as presented at the 2016 EuroLLVM Developers' Meeting in Barcelona.☆11Mar 15, 2016Updated 10 years ago
- A Lisp->C compiler, using the dynamic linking loader☆30Apr 28, 2011Updated 14 years ago
- CVS import of official cscope tool (http://cscope.sf.net)☆27Aug 21, 2012Updated 13 years ago
- ☆14May 18, 2020Updated 5 years ago
- The larva programming Language☆146Aug 26, 2022Updated 3 years ago
- ☆11May 26, 2020Updated 5 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- Distributed reliable key-value store for the most critical data of a distributed system☆31Nov 5, 2017Updated 8 years ago
- ☆26Nov 13, 2013Updated 12 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Protocol Buffers lexer & parser for PLY☆12Nov 11, 2014Updated 11 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated 7 months ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- YunOS support for Apache Cordova☆20Sep 22, 2017Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Nov 26, 2018Updated 7 years ago
- LLVM Linker for Mobile Computing☆82Jun 6, 2016Updated 9 years ago
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- Automatic regression verification for LLVM programs☆19Jul 16, 2021Updated 4 years ago
- C Library to read DVDs☆15Feb 25, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A pure Go implementation of the Lua virtual machine.☆45Mar 24, 2017Updated 9 years ago
- My fork of scala (includes the llvm backend)☆267Jun 22, 2013Updated 12 years ago
- Meta-information about the TaintDroid project, tools, etc.☆23Jan 16, 2014Updated 12 years ago
- An implementation of golang runtime in C++☆17Jun 4, 2024Updated last year
- libexecinfo for musl libc☆15Apr 16, 2022Updated 3 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☆45Mar 9, 2023Updated 3 years ago