The Helium compiler, Helium-as-a-library, and the texthint interpreter
☆101Nov 25, 2024Updated last year
Alternatives and similar repositories for helium
Users that are interested in helium are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆18Sep 25, 2026Updated last month
- 🎭 Actor library for Haskell☆29Feb 16, 2023Updated 3 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Haskell Configuration Loader☆19Oct 13, 2026Updated 2 weeks ago
- Remove outdated compilation artefacts left by cabal v2-build☆11Apr 11, 2026Updated 6 months 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.
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- Haskell QuasiQuoter for String Formatting☆71Dec 29, 2025Updated 10 months ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated last month
- Trying to write an understandable implementation of Haskell, in Haskell☆127Feb 7, 2021Updated 5 years ago
- Haskell time library focusing on performance☆60Nov 24, 2025Updated 11 months ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216May 7, 2023Updated 3 years ago
- ☆16Oct 5, 2022Updated 4 years ago
- ☆39Mar 20, 2026Updated 7 months 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.
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆18Mar 17, 2019Updated 7 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 5 years ago
- LLVM code generation in Haskell☆55Oct 30, 2024Updated 2 years ago
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Py.test style assertions in Haskell☆67Jun 16, 2018Updated 8 years ago
- ☆29Nov 11, 2025Updated 11 months ago
- 💂♂️ Lightweight pure validation based on Applicative and Selective functors☆77Aug 6, 2026Updated 2 months ago
- GHC plugin to desugar ! into do-notation☆39Feb 4, 2026Updated 8 months ago
- ☆12May 13, 2026Updated 5 months ago
- Non-empty Vectors☆26Oct 24, 2026Updated last week
- Compile git revision info into Haskell projects☆35Jun 21, 2023Updated 3 years ago
- 💫 A curated list of awesome resources for the Haskell Cabal build tool.☆122Dec 6, 2023Updated 2 years ago
- Strongly-typed System F in Haskell☆122Oct 18, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- tools for writing better type errors☆74Sep 15, 2023Updated 3 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Maps using values' monoidal structure during merging☆43Jun 20, 2026Updated 4 months ago
- A wrapper around Text for fast line/column navigation and logarithmic concatenation☆41Sep 4, 2026Updated last month
- Duo - A research language exploring duality in programming language design☆62May 23, 2023Updated 3 years ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago