☆10Aug 17, 2021Updated 5 years ago
Alternatives and similar repositories for Polygeist-Script
Users that are interested in Polygeist-Script are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 28, 2023Updated 3 years ago
- ☆19Nov 9, 2024Updated last year
- VibeGit, Track Interaction with Diffs in AI Coding☆25Oct 12, 2025Updated last year
- Bridging polyhedral analysis tools to the MLIR framework☆118Sep 9, 2023Updated 3 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 7 years ago
- 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.
- Official repo for paper "Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques".☆14Oct 12, 2024Updated 2 years ago
- ☆11Jul 2, 2025Updated last year
- C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!☆629Jun 19, 2025Updated last year
- Branch Predictor Optimization for BlackParrot☆15Mar 24, 2024Updated 2 years ago
- Code for "Fast Sparse ConvNets" CVPR2020 submissions☆12Nov 20, 2019Updated 6 years ago
- ☆11Jun 29, 2021Updated 5 years ago
- MimiBox — Turn browsers into sandbox for AI agents(OpenClaw).☆13Mar 8, 2026Updated 7 months ago
- A JIT compiler for the BBC micro:bit☆12Apr 29, 2018Updated 8 years ago
- A simple Rust crate to cache data both in-memory and on disk☆11Dec 26, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- ☆13Oct 15, 2026Updated last week
- A lightweight, Pythonic, frontend for MLIR☆80Oct 21, 2023Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆35Sep 12, 2026Updated last month
- 基于FPGA的FFT算法并行优化☆13Mar 7, 2024Updated 2 years ago
- Logical Frameworks Class☆12Feb 29, 2024Updated 2 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆133Jul 22, 2022Updated 4 years ago
- development repository for the open earth compiler☆83Feb 19, 2021Updated 5 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks 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.
- Compile MLIR to PTX and execute it on NVIDIA GPUs☆11Apr 16, 2025Updated last year
- ☆13May 7, 2026Updated 5 months ago
- The approach involves the usage of Multi-Criteria Decision Analyses, including Weighted Sum Model (WSM), Weighted Product Model (WPM) and…☆11Oct 22, 2021Updated 5 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Sep 8, 2016Updated 10 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆26Sep 14, 2026Updated last month
- ☆17Nov 13, 2019Updated 6 years ago
- A LaTeX beamer theme template for CQU students.☆17Oct 25, 2022Updated 4 years ago
- New implementation of protocols☆15Updated this week
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆17Oct 15, 2026Updated last week
- 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.
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- ☆13May 31, 2026Updated 4 months ago
- efficient header for third-party libs☆12May 27, 2022Updated 4 years ago
- notes on reading tensorflow source code☆13Aug 18, 2018Updated 8 years ago
- A sandbox for quick iteration and experimentation on projects related to IREE, MLIR, and LLVM☆61Apr 13, 2026Updated 6 months ago