ekmett / rtsView external linksLinks
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
Sorting:
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆42Sep 3, 2015Updated 10 years ago
- Common Trace Format requirements and specifications☆11Feb 7, 2023Updated 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
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Example how to link Haskell programs very quickly with lld☆48Apr 13, 2017Updated 8 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 11 years ago
- BDD-based implementation of Datalog☆37Jun 14, 2020Updated 5 years ago
- topos programming☆31Sep 20, 2018Updated 7 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- A pure-Nu wiki based on Nunja, Git, and NuMarkdown☆27Aug 23, 2008Updated 17 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Dependently typed core calculus with erasure☆19Aug 31, 2021Updated 4 years ago
- My personal web site☆17Feb 5, 2026Updated last week
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- haskell posix bindings☆19Aug 5, 2025Updated 6 months ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- A small profunctor library for idris☆17Nov 3, 2022Updated 3 years ago
- Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation☆59Apr 26, 2017Updated 8 years ago
- Live-code music in Haskell!☆34Dec 5, 2023Updated 2 years ago
- ☆19Sep 19, 2019Updated 6 years ago
- Benchmarking tool with focus on comparing results.☆16Sep 7, 2024Updated last year
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated last week