Search-based compiler for high-performance DSP programming
☆73Oct 29, 2024Updated 2 years ago
Alternatives and similar repositories for diospyros
Users that are interested in diospyros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Work related to vectorizing strategies for arbitrary FHE programs☆11Sep 5, 2025Updated last year
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆12Aug 13, 2023Updated 3 years ago
- Automatically generate a compiler using equality saturation☆36Apr 3, 2024Updated 2 years ago
- Re-implementation of the TASO compiler using equality saturation☆145Jun 28, 2021Updated 5 years ago
- FPGA synthesis tool powered by program synthesis☆59Dec 15, 2025Updated 10 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.
- generating hardware accelerators for pangenomic graph queries☆45Jul 1, 2026Updated 4 months ago
- compiling DSLs to high-level hardware instructions☆25Nov 8, 2022Updated 3 years ago
- egraph <-> json☆18Dec 29, 2025Updated 10 months ago
- baby's first liquid type system☆15Aug 15, 2023Updated 3 years ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆30Jan 7, 2026Updated 9 months ago
- Exact Symbolic Reasoning via Boolean Equality Saturation☆25Jan 7, 2026Updated 9 months ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 months ago
- Rewrite Rule Inference Using Equality Saturation☆158Sep 11, 2026Updated last month
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months 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.
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆138Mar 25, 2026Updated 7 months ago
- egg is a flexible, high-performance e-graph library☆1,862Sep 28, 2026Updated last month
- Compiler optimizer for arbitrary control flow based on equality saturation☆116May 19, 2022Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆76May 30, 2025Updated last year
- A Full-System Framework for Simulating NDP devices from Caches to DRAM☆22Jan 12, 2024Updated 2 years ago
- Quantum circuits compiler with staging and continuations☆19Nov 19, 2024Updated last year
- FPGA synthesis tool powered by equality saturation and program synthesis.☆16Jan 9, 2026Updated 9 months ago
- AI Agents on 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.
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- Intermediate Language (IL) for Hardware Accelerator Generators☆616Updated this week
- Time-sensitive affine types for predictable hardware generation☆152Jan 5, 2026Updated 10 months ago
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆33Jun 23, 2025Updated last year
- Verilog AST☆19Dec 2, 2023Updated 2 years ago
- Conversions to MLIR EmitC☆134Dec 12, 2024Updated last year
- ☆14May 7, 2026Updated 6 months ago
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 3 years ago
- ☆14Aug 7, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- benchmarking e-graph extraction☆54Feb 2, 2026Updated 9 months ago
- A framework that helps implementing swizzle GPU kernels☆50Feb 29, 2020Updated 6 years ago
- Best of POPL (BOP) Reading Group Memoirs☆68Jan 27, 2022Updated 4 years ago
- E-Graph library☆24Apr 4, 2024Updated 2 years ago
- A Hardware Pipeline Description Language☆60Jul 12, 2025Updated last year
- Lifting Array Programs to NumPy, PyTorch, JAX☆12Mar 26, 2025Updated last year
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆100Jan 7, 2023Updated 3 years ago