Staged Streams and other stuff
☆19Jul 10, 2022Updated 4 years ago
Alternatives and similar repositories for staged
Users that are interested in staged are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Overloaded plugin☆31Jun 15, 2024Updated 2 years ago
- ☆14Aug 5, 2026Updated 2 months ago
- Stream the GHC eventlog and control RTS monitoring over a socket.☆24Jul 31, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- experimenting with unlifted classes via backpack☆36Aug 17, 2022Updated 4 years ago
- Complete Haskell binding to PCRE2☆16Aug 4, 2026Updated 2 months ago
- Small games, experiments, and notes on (Haskell) game development.☆11Feb 27, 2023Updated 3 years ago
- Divide without division☆20Aug 1, 2026Updated 2 months ago
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated 9 months ago
- ☆26Aug 11, 2023Updated 3 years ago
- Dump the declarations of Haskell modules☆20Updated this week
- Benchmarking tool for compile-time performance of Agda programs☆20Jan 26, 2022Updated 4 years ago
- MetaML and MetaOCaml bibliography☆106Aug 29, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Paper and talk☆56Jul 11, 2023Updated 3 years ago
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Parse bytes fast☆26Sep 1, 2026Updated last month
- Benchmark a given function for variable input sizes and find out its time complexity☆25Jul 15, 2026Updated 3 months ago
- Minecraft clone in haskell focussed on performance.☆28Jun 16, 2024Updated 2 years ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated last month
- Intrinsic Verification of Formal Grammar Theory☆29Aug 4, 2026Updated 2 months ago
- This might one day be a thesis project☆11Dec 21, 2022Updated 3 years ago
- ☆13Nov 1, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆44Nov 28, 2018Updated 7 years ago
- A wrapper around Text for fast line/column navigation and logarithmic concatenation☆41Sep 4, 2026Updated last month
- Get terminal window width and height☆14Aug 14, 2024Updated 2 years ago
- Push-pull implementation of discrete FRP with totally-ordered switchers☆11Jan 30, 2017Updated 9 years ago
- Analyze GHC .dump-timings files☆112Feb 14, 2024Updated 2 years ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated last year
- IntMap and IntSet with Enum keys/elements.☆12Updated this week
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library and tool for parsing .eventlog files from GHC☆37Aug 6, 2026Updated 2 months ago
- Moved to Haskell.org GitLab.☆61May 20, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Issues and proposals related to the HF Stability Working Group☆30Sep 28, 2026Updated last month
- A GitHub action for publishing packages on Hackage☆33Jan 8, 2024Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated last year
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago