A C-family AST implementation designed to be an IR for DSL compilers.
☆17Jul 6, 2017Updated 9 years ago
Alternatives and similar repositories for ctree
Users that are interested in ctree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 8 years ago
- ☆13Mar 30, 2020Updated 6 years ago
- Artifacts for the "SurgeProtector: Mitigating Temporal Algorithmic Complexity Attacks using Adversarial Scheduling" paper that appears in…☆14Jun 24, 2022Updated 4 years ago
- Magma Hackathon☆12Mar 4, 2020Updated 6 years ago
- Python bindings for coreir☆11Sep 13, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Search flexible patterns within tree structures using regular expression like syntax.☆10Sep 22, 2017Updated 9 years ago
- ☆24Oct 6, 2015Updated 11 years ago
- Python3 to C++11 transpiler written in C++☆13Dec 28, 2017Updated 8 years ago
- Integration test for entire CGRA flow☆12Jan 17, 2020Updated 6 years ago
- Easily create Pebble-guided workouts from phone or computer☆12May 1, 2017Updated 9 years ago
- The PE for the second generation CGRA (garnet).☆18Oct 27, 2026Updated last week
- Toolbox for working with the Python AST☆16Sep 13, 2023Updated 3 years ago
- Tree-Sparse Quadratic Programming☆14Nov 29, 2018Updated 7 years ago
- Check Python ASTs against templates☆18Jan 29, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Github for CS448H Winter 2017☆15Jun 26, 2018Updated 8 years ago
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆19Sep 13, 2023Updated 3 years ago
- chipy hdl☆17Apr 5, 2018Updated 8 years ago
- C++ heterogeneous and lock-free containers☆13Sep 5, 2018Updated 8 years ago
- ☆24Feb 17, 2017Updated 9 years ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 4 years ago
- Goal-directed static analysis tool for JVM languages.☆60May 17, 2016Updated 10 years ago
- Documentation for the entire CGRAFlow☆19Sep 17, 2021Updated 5 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Sep 4, 2016Updated 10 years 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.
- Development and verification environment for the mor1kx core☆12Dec 29, 2014Updated 11 years ago
- Implementation of the Snappy compression algorithm as a RoCC accelerator☆12Jul 29, 2019Updated 7 years ago
- Service Design & Assurance Metadata Standards: A language to describe spreadsheets and an implementation that extracts and validates the …☆14Jun 18, 2019Updated 7 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- Repository of the NDKFramework as showcased at Audio Developer Conference 2019☆16May 8, 2020Updated 6 years ago
- Symbolic differentiation based on the Nim AST☆18Nov 29, 2022Updated 3 years ago
- Peak : Processor Specification Language ala Newell and Bell's ISP☆21Dec 5, 2023Updated 2 years ago
- Open Source Detailed Placement engine☆13Feb 19, 2020Updated 6 years ago
- Darkroom Core☆48Oct 7, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A plugin for pytest devs to view how assertion rewriting recodes the AST☆10Sep 29, 2019Updated 7 years ago
- There is given an undirected graph G = (V, E) from which edges are deleted one at a time. Questions like "Are the vertices u and v in the…☆10Mar 8, 2020Updated 6 years ago
- Code for new techniques of VLSI placement☆13Oct 11, 2013Updated 13 years ago
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Sep 25, 2017Updated 9 years ago
- iTerm2 theme that matches Vim Two-Firewatch☆24Aug 29, 2016Updated 10 years ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 6 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 years ago