An attempt at safe imperative GPU programming.
☆70Jul 6, 2026Updated last month
Alternatives and similar repositories for descend
Users that are interested in descend are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A systems programming language with lexical effect handlers☆19Aug 3, 2026Updated last week
- # A simple variable binding library based on well-scoped indices and environments☆33Jun 22, 2026Updated last month
- ☆23Jul 29, 2026Updated last week
- sketches for egg: a flexible, high-performance e-graph library☆32Sep 25, 2025Updated 10 months ago
- ☆45Aug 11, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for pa…☆732Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆73Jul 27, 2026Updated last week
- ☆22Feb 10, 2022Updated 4 years ago
- ☆12Sep 29, 2021Updated 4 years ago
- ☆14Mar 25, 2025Updated last year
- native Rust implementation of Kafka protocol and api☆14Jun 13, 2023Updated 3 years ago
- The Shine compiler for the RISE language☆90Jul 31, 2026Updated last week
- A language with dependent data and codata types☆140Updated this week
- Better bindings for Python☆19Feb 3, 2023Updated 3 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.
- Automatic Generation of Benchmarks to Stress-Test Computing Systems.☆45Jun 21, 2026Updated last month
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆17Mar 4, 2024Updated 2 years ago
- effects, but optimal☆16Jan 9, 2026Updated 7 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆445Jul 5, 2026Updated last month
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 5 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A framework for writing plugins that integrate with the Rust compiler☆175Jun 7, 2026Updated 2 months ago
- An Extensible Compiler IR Framework☆443Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆455Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Examples and support libraries for the amdgpu Rust target☆19May 26, 2026Updated 2 months ago
- An experimental optimizing compiler for Bril using egglog☆100Updated this week
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Define compiler intermediate representation usable by external tools☆118Jun 18, 2026Updated last month
- SPIR-🇹: shader-focused IR to target, transform and translate from 🦀☆103Feb 10, 2024Updated 2 years ago
- The rustic MLIR bindings in Rust☆532Updated this week
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆25Jun 19, 2019Updated 7 years ago
- TechX 2019 Introduction to Machine Learning Course Material☆12Nov 22, 2022Updated 3 years ago
- A tracing JIT compiler for PyTorch☆14Dec 11, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- rust bindings of snmalloc☆153Mar 25, 2026Updated 4 months ago
- nTorrent implementation. The application design is presented in the paper "nTorrent: Peer-to-Peer File Sharing in Named Data Networking":…☆15Oct 16, 2018Updated 7 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- 🚧 A work-in-progress GLSL compiler targeting SPIR-V mlir 🚧☆22Oct 18, 2024Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Jul 13, 2026Updated 3 weeks ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Oct 26, 2021Updated 4 years ago
- A procedural macro to combine multiple configuration methods at compile time☆12Mar 29, 2023Updated 3 years ago