descend-lang / descend
An attempt at safe imperative GPU programming.
☆39Updated 3 months ago
Alternatives and similar repositories for descend:
Users that are interested in descend are comparing it to the libraries listed below
- An experimental optimizing compiler for Bril☆65Updated last week
- Rust bindings to the MLIR C API.☆65Updated last month
- Compiler optimizer for arbitrary control flow based on equality saturation☆95Updated 2 years ago
- Programming Languages Intermediate Representation☆134Updated this week
- Virtual machine for executing CUDA PTX without a GPU☆32Updated last year
- Automatic differentiation in Rust with WGPU support☆23Updated 3 years ago
- Interface with the rustc compiler for the purpose of program verification☆121Updated this week
- Programming Language for Continuous Deep Analytics☆45Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆26Updated 2 months ago
- ☆13Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated this week
- Rewrite Rule Inference Using Equality Saturation☆122Updated 9 months ago
- benchmarking e-graph extraction☆36Updated 4 months ago
- A new register allocator☆227Updated 2 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 9 months ago
- Propositional logic with types in Rust☆62Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆58Updated 6 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆53Updated 11 months ago
- A Rusty CUDA wrapper☆32Updated 3 years ago
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆16Updated 2 weeks ago
- RustHorn: A CHC-based automated verifier for Rust☆75Updated last week
- Define compiler intermediate representation usable by external tools☆70Updated 9 months ago
- Three implementations of Tarjan’s Union-Find☆18Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆30Updated this week
- A programming language for data stream analytics.☆19Updated 2 months ago
- The Shine compiler for the RISE language☆79Updated this week
- UB-aware interpreter for LLVM debugging☆26Updated last week
- Python bindings for egg☆48Updated 2 years ago
- A bit vector with the Rust standard library's portable SIMD API.☆39Updated last year