type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
☆31Jun 6, 2020Updated 6 years ago
Alternatives and similar repositories for sundial-gc-design
Users that are interested in sundial-gc-design are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- learning cuda☆20Jun 27, 2016Updated 10 years ago
- GRIN backend for GHC☆144Nov 9, 2021Updated 4 years ago
- ☆15Dec 20, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 4 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆16Mar 17, 2018Updated 8 years ago
- A Haskell blog☆155Oct 10, 2025Updated last year
- 🖼️ the compiling to closed categories compiler☆67Apr 17, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- GRIN backend for Idris2☆32Jul 3, 2022Updated 4 years ago
- A benchmark library.☆15Oct 3, 2020Updated 6 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Jun 15, 2023Updated 3 years ago
- ☆20Jul 3, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Game NetCode Solved☆25Apr 11, 2021Updated 5 years ago
- A bittorrent client, for learning purposes☆107Sep 7, 2019Updated 7 years ago
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 6 years ago
- GHC Whole Program Compiler and External STG IR tooling☆122Jul 1, 2026Updated 4 months ago
- ☆26Nov 18, 2022Updated 3 years ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 5 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Sep 26, 2025Updated last year
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 8 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.
- ☆21Oct 23, 2016Updated 10 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Nov 16, 2021Updated 4 years ago
- Example of Isomorphic React Application written in PureScript☆22Aug 27, 2017Updated 9 years ago
- ☆32Nov 20, 2019Updated 6 years ago
- Haskell bindings to SymEngine☆26Aug 17, 2023Updated 3 years ago
- Dynamic network FRP with events and continuous values☆53Aug 4, 2020Updated 6 years ago
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 8 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆25Jan 10, 2021Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 15 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.
- Lua backend for Idris 2☆28Aug 14, 2022Updated 4 years ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- Tricks I learned about using a DS3231 Real Time Clock to interrupt an Arduino☆11Mar 11, 2022Updated 4 years ago
- Efficient Haskell effect handlers based on evidence translation.☆87Jul 19, 2021Updated 5 years ago
- Fast parsing from bytestrings☆182Sep 23, 2026Updated last month
- ☆11Sep 19, 2017Updated 9 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,083Jun 13, 2025Updated last year