luleyleo / cargo-futharkView external linksLinks
Futhark integration for Rust projects
☆16Sep 12, 2025Updated 5 months ago
Alternatives and similar repositories for cargo-futhark
Users that are interested in cargo-futhark are comparing it to the libraries listed below
Sorting:
- Generate bindings for Futhark☆40Jan 28, 2023Updated 3 years ago
- Emacs major mode for editing Futhark programs☆14May 9, 2025Updated 9 months ago
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 2 years ago
- Web server infrastructure for Standard ML☆15Jan 9, 2026Updated last month
- Parallel Functional Programming, 2020☆16Jan 18, 2024Updated 2 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Mar 16, 2025Updated 11 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Jan 10, 2025Updated last year
- How do I DIKU? How indeed.☆28Jan 30, 2026Updated 2 weeks ago
- Ray Tracing in One Weekend in Futhark☆20Aug 29, 2021Updated 4 years ago
- Sword — A financial derivative language for the blockchain☆28Feb 16, 2021Updated 5 years ago
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 7 months ago
- Python Fast Holographic Deconvolution☆14Updated this week
- A custom parser/auto-formatter for Standard ML☆88Jan 1, 2026Updated last month
- An upcoming Minecraft Java technology plugin that will hugely expand vanilla gameplay with new content: electricity, diesel machines, new…☆34Updated this week
- ☆11Mar 22, 2024Updated last year
- ☆24Dec 15, 2025Updated 2 months ago
- Repository for the DPP'23 course☆11May 2, 2024Updated last year
- The Simple OS - based on the Forth programming language☆17Feb 3, 2026Updated 2 weeks ago
- ☆12Jul 10, 2023Updated 2 years ago
- Public repository for the HPPS course☆17Jan 17, 2022Updated 4 years ago
- Course website for Data Parallel Programming at DIKU☆15Dec 17, 2024Updated last year
- Various Futhark benchmark programs☆44Jan 21, 2026Updated 3 weeks ago
- Parallel Programming in Futhark☆49Feb 6, 2026Updated last week
- Benchmarks for differentiable programming across languages and domains.☆55Jan 27, 2026Updated 3 weeks ago
- Realtime leaderboard with React, Redux, & RethinkDB☆10Feb 19, 2016Updated 9 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- This repository contains code for refractive structure-from-motion☆12Aug 23, 2024Updated last year
- Prototype of set-theoretic type system, with polymorphism and type inference.☆13Oct 17, 2025Updated 4 months ago
- A toy vmod written in Rust☆11Jul 2, 2023Updated 2 years ago
- Differentiable Tree Machine☆13Nov 3, 2023Updated 2 years ago
- Red syntax/expressions highligting☆14Aug 31, 2021Updated 4 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Jan 5, 2026Updated last month
- A library for working with mmap'd graph data☆11Nov 29, 2020Updated 5 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 4 years ago
- DHCP proxy for Netavark☆11Jun 12, 2023Updated 2 years ago
- ☆10Updated this week
- Monte Carlo Simulation for Forecasting Cycle Times with a Python Jupyter Notebook☆11Dec 9, 2022Updated 3 years ago
- ☆13Dec 31, 2025Updated last month