Packet Language for On-device Warps — a GPU inference compiler and runtime
☆27Oct 21, 2026Updated this week
Alternatives and similar repositories for plow
Users that are interested in plow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- Unstable egglog standard library.☆16Oct 17, 2026Updated last week
- High-Level Rust API for egglog☆29May 15, 2026Updated 5 months ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 5 years 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.
- Various Python AST utilities☆21Apr 25, 2024Updated 2 years ago
- An easy-to-use, simple and fast Particle Swarm Optimization (PSO) implementation in Rust.☆13Nov 1, 2021Updated 4 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Jul 30, 2026Updated 2 months ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- A custom-designed distributed blockchain for sharing service☆21Feb 11, 2026Updated 8 months ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆26Jul 26, 2025Updated last year
- The Exascale Computing Project Software Technologies Capability Assessment Report - Public Version☆21Aug 18, 2022Updated 4 years ago
- TensorIR is a lightweight NVIDIA-owned MLIR compiler frontend for expressing tensor computations and lowering them to NVIDIA CUDA Tile IR…☆138Oct 15, 2026Updated last week
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A depth-aware secure computation compiler☆17Jun 7, 2025Updated last year
- C++ CPP project templates with CMake + Conan☆16May 24, 2020Updated 6 years ago
- Rutgers APL correctly rounded math library☆33Mar 11, 2021Updated 5 years ago
- InfinyOn Labs projects☆14Dec 9, 2024Updated last year
- A from-scratch Rust inference stack for AMD GPUs that talks straight to the Linux kernel driver. No ROCm, HIP, or HSA runtime. Serves OLM…☆25Aug 15, 2026Updated 2 months ago
- From-scratch multi-GPU LLM inference engine: paged KV cache, continuous batching, prefix caching, tensor parallelism, OpenAI-compatible s…☆28Sep 25, 2026Updated last month
- An experimental optimizing compiler for Bril using egglog☆104Oct 9, 2026Updated 2 weeks ago
- ☆19Jun 22, 2026Updated 4 months ago
- python driver and runtime for tenstorrent blackhole cards☆22Sep 16, 2026Updated last month
- 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.
- Operations on files and directories with typed paths☆32Sep 29, 2026Updated 3 weeks ago
- Turn Apple's CVPR-25 FastVLM encoder into a reproducible baseline for mobile apps. First complete implementation achieving <250ms multimo…☆12Mar 19, 2026Updated 7 months ago
- Examples of how to use features of the Boost Graph Library. This repository is a staging area while the examples are prepared to be moved…☆15Feb 5, 2012Updated 14 years ago
- The Kimi K3 and DeepSeek-V4-Flash-0731 architectures, reimplemented from scratch in pure Rust (zero dependencies) and verified 1:1 agains…☆24Aug 19, 2026Updated 2 months ago
- Rust implementation of Amino☆27Jun 23, 2020Updated 6 years ago
- Agents built to run on Google's ADK framework☆13Aug 23, 2025Updated last year
- CPM & PERT methods with Gantt chart plots. Support for Lags and Dependency Types☆23May 7, 2026Updated 5 months ago
- Regular expression matching of Haskell types☆13Apr 2, 2016Updated 10 years ago
- Completed MIT OCW 18.02SC☆11Nov 8, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Deterministic ONNX-to-C compiler for embedded and safety-critical systems, generating static, auditable C code with no dynamic memory or …☆40Jul 29, 2026Updated 2 months ago
- MLIR based Tiny Graph Compiler [dev-stage]☆20Nov 22, 2024Updated last year
- how to build up Knowledge graph☆13Nov 16, 2021Updated 4 years ago
- Polycircuit is an FHE components library built via FHERMA competitions☆20Jul 10, 2025Updated last year
- Homelab configs☆12Updated this week
- A daemon that synchronizes IRIS hub data into relational database for the Explorer backend☆15Aug 29, 2023Updated 3 years ago
- Elixir BigQuery API client - *DEPRECATED*☆14May 29, 2020Updated 6 years ago