Haskell implemented with combinators
☆772Aug 25, 2026Updated this week
Alternatives and similar repositories for MicroHs
Users that are interested in MicroHs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reimplementation of a subset of Cabal☆38Jun 22, 2026Updated 2 months ago
- ☆168Jul 19, 2026Updated last month
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆484Updated this week
- Fast parsing from bytestrings☆178Aug 19, 2026Updated last week
- ☆193Aug 17, 2026Updated last week
- 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.
- The adventures of a Haskell compiler☆243Mar 18, 2026Updated 5 months ago
- Minimal implementations for dependent type checking and elaboration☆795Jan 30, 2026Updated 7 months ago
- Demo for high-performance type theory elaboration☆597Feb 2, 2026Updated 6 months ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆350Jul 10, 2026Updated last month
- A fast, safe, and intuitive DataFrame library.☆264Updated this week
- A modern step-through debugger for GHC Haskell☆147Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,080Jun 13, 2025Updated last year
- The Haskell Optimization Handbook☆190Jan 16, 2026Updated 7 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆101Jun 1, 2026Updated 2 months 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.
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆457Updated this week
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆80Updated this week
- A theory‑backed, type‑safe algebraic effects☆193Aug 2, 2025Updated last year
- Formal specification of the Haskell Language Report☆33Mar 2, 2026Updated 5 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated 10 months ago
- Fast equality saturation in Haskell☆98Mar 9, 2026Updated 5 months ago
- A prompt engineering functional programming language☆613Jun 13, 2026Updated 2 months ago
- Load a GHCi session for a Haskell project and reload it when source files change☆169Jun 15, 2026Updated 2 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆112Apr 23, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆355Aug 20, 2026Updated last week
- A formatter for Haskell source code☆1,073Updated this week
- Koka language compiler and interpreter☆4,049Aug 15, 2026Updated 2 weeks ago
- Compiling Agda code to readable Haskell☆209Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆732Jul 21, 2026Updated last month
- A re-implementation of weeder using HIE files☆188Jun 23, 2026Updated 2 months ago
- High performance, streaming and concurrent functional programming in Haskell☆922Jul 25, 2026Updated last month
- Automatically generate Haskell bindings from C header files☆106Updated this week
- Resource gathering + programming game☆917Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Staged compilation with dependent types☆187Feb 1, 2026Updated 6 months ago
- Liquid Types For Haskell☆1,333Updated this week
- Runtime Haskell interpreter☆274Mar 1, 2026Updated 5 months ago
- 🕵️ Haskell STatic ANalyser☆595Jun 6, 2026Updated 2 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆662Jan 4, 2026Updated 7 months ago
- A purely functional programming language with first class types☆3,049Updated this week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆742May 4, 2026Updated 3 months ago