spmd-on-simd stuff
☆27Aug 5, 2017Updated 9 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 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆42Sep 3, 2015Updated 11 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 5 months 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
- 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.
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- JHC Haskell compiler split into reusable components☆58Dec 17, 2018Updated 7 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 3 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 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 8 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Apr 26, 2017Updated 9 years ago
- topos programming☆31Sep 20, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- My personal web site☆17Sep 16, 2026Updated last week
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 6 years ago
- Basic mathematics library☆15Aug 2, 2026Updated last month
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated 2 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 6 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.
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 7 months ago
- haskell posix bindings☆19Aug 5, 2025Updated last year
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Unpacked containers using backpack☆52Apr 26, 2020Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 4 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 7 years ago
- Proposed changes to Haskell Core Libraries☆19Sep 9, 2020Updated 6 years ago
- 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.
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 7 years ago
- YesQL-style SQL database abstraction.☆27Sep 3, 2020Updated 6 years ago
- A full-stack Haskell web application starter project.☆43Oct 29, 2017Updated 8 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆42Jul 1, 2023Updated 3 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Aug 14, 2018Updated 8 years ago
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated 2 years ago
- Operational monad library☆30Nov 30, 2021Updated 4 years ago