spmd-on-simd stuff
☆27Aug 5, 2017Updated 8 years ago
Alternatives and similar repositories for rts
Users that are interested in rts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆42Sep 3, 2015Updated 10 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Apr 26, 2017Updated 8 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 8 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- topos programming☆31Sep 20, 2018Updated 7 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- My personal web site☆17Updated this week
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Unpacked containers using backpack☆52Apr 26, 2020Updated 5 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 5 years 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.
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last month
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- A type-checker for Haskell with integer constraints☆42Feb 21, 2015Updated 11 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A pure-Nu wiki based on Nunja, Git, and NuMarkdown☆27Aug 23, 2008Updated 17 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Proposed changes to Haskell Core Libraries☆19Sep 9, 2020Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A full-stack Haskell web application starter project.☆43Oct 29, 2017Updated 8 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Aug 14, 2018Updated 7 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated last year
- YesQL-style SQL database abstraction.☆27Sep 3, 2020Updated 5 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago
- Live-code music in Haskell!☆34Dec 5, 2023Updated 2 years ago