☆11Jun 29, 2021Updated 5 years ago
Alternatives and similar repositories for polydl
Users that are interested in polydl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 27, 2021Updated 5 years ago
- ☆18Sep 14, 2021Updated 5 years ago
- PyTorch implementation of Deep Bilateral Learning for Real Time Image Enhancement.☆15Dec 9, 2018Updated 7 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆32Sep 14, 2026Updated last month
- Single RISC-V CPU attached on AMBA AHB with Instruction and Data memories.☆13Apr 18, 2026Updated 6 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.
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆13Oct 17, 2019Updated 7 years ago
- 一个基于RecyclerView+Scroller实现的二维表格组件，同时支持侧滑菜单、拖动调整列表顺序等拓展功能。A two-dimensional table view, base on recyclerview, both support to side slide …☆22Jun 22, 2021Updated 5 years ago
- A library for code transformations with guaranteed legality☆18Sep 15, 2026Updated last month
- Various examples for Chisel HDL☆33Mar 20, 2022Updated 4 years ago
- ☆15Dec 24, 2025Updated 10 months ago
- Panda with Deep Reinforcement Learning Simulation Environment Webots☆10Apr 29, 2021Updated 5 years ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- ☆77Oct 24, 2026Updated last week
- A JIT compiler for the BBC micro:bit☆12Apr 29, 2018Updated 8 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.
- Code for "Fast Sparse ConvNets" CVPR2020 submissions☆12Nov 20, 2019Updated 6 years ago
- This code is for our ICML 2020 paper "On the Number of Linear Regions of Convolutional Neural Networks."☆13Aug 5, 2020Updated 6 years ago
- A vfio-user based emulated AMD Pensando RDMA NIC.☆30Updated this week
- ☆10Aug 17, 2021Updated 5 years ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- MAD (Model Automation and Dashboarding)☆44Oct 23, 2026Updated last week
- ☆27Oct 9, 2025Updated last year
- Ongoing research training transformer models at scale☆44Updated this week
- Library to plot integer sets and maps☆53Nov 27, 2016Updated 9 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.
- ☆14Jun 21, 2024Updated 2 years ago
- The CLooG Code Generator in the Polyhedral Model☆52Aug 28, 2026Updated 2 months ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- A translator from c to MLIR☆32Nov 15, 2021Updated 4 years ago
- ☆13Oct 8, 2024Updated 2 years ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 7 years ago
- ☆41Jun 18, 2021Updated 5 years ago
- Intel Gaudi's Megatron DeepSpeed Large Language Models for training☆17Dec 19, 2024Updated last year
- A small (~1000LoC) embeddable LISP interpreter☆13Feb 28, 2025Updated last year
- 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.
- ☆13May 7, 2026Updated 5 months ago
- ☆11Nov 27, 2024Updated last year
- ☆19Jun 17, 2022Updated 4 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Jun 21, 2019Updated 7 years ago
- A high-throughput, parameterized, parallel crc hardware implementation.☆12Jun 2, 2024Updated 2 years ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Building your GPT-based private knowledge hub using zkSNARK & PLONK☆13Jun 20, 2023Updated 3 years ago