Haskell implemented with combinators
☆782Sep 18, 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☆39Jun 22, 2026Updated 2 months ago
- ☆170Sep 11, 2026Updated last week
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆485Updated this week
- Fast parsing from bytestrings☆178Aug 19, 2026Updated last month
- ☆193Aug 17, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The adventures of a Haskell compiler☆243Mar 18, 2026Updated 6 months ago
- Minimal implementations for dependent type checking and elaboration☆798Jan 30, 2026Updated 7 months ago
- Demo for high-performance type theory elaboration☆601Feb 2, 2026Updated 7 months ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆353Sep 2, 2026Updated 2 weeks ago
- A fast, safe, and intuitive DataFrame library.☆266Updated this week
- A modern step-through debugger for GHC Haskell☆151Updated 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 8 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆102Jun 1, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆460Aug 25, 2026Updated 3 weeks ago
- A theory‑backed, type‑safe algebraic effects☆193Aug 2, 2025Updated last year
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆80Aug 26, 2026Updated 3 weeks ago
- Formal specification of the Haskell Language Report☆33Mar 2, 2026Updated 6 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated 11 months ago
- Fast equality saturation in Haskell☆98Mar 9, 2026Updated 6 months ago
- A prompt engineering functional programming language☆618Aug 31, 2026Updated 2 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆169Jun 15, 2026Updated 3 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆113Apr 23, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- !!! --- MOVED TO CODEBERG --- !!!☆354Sep 4, 2026Updated 2 weeks ago
- A formatter for Haskell source code☆1,073Sep 8, 2026Updated last week
- Koka language compiler and interpreter☆4,067Updated this week
- Compiling Agda code to readable Haskell☆210Aug 26, 2026Updated 3 weeks ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆736Jul 21, 2026Updated last month
- A re-implementation of weeder using HIE files☆188Updated this week
- High performance, streaming and concurrent functional programming in Haskell☆923Sep 8, 2026Updated last week
- Automatically generate Haskell bindings from C header files☆108Updated this week
- Resource gathering + programming game☆917Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Staged compilation with dependent types☆187Feb 1, 2026Updated 7 months ago
- Liquid Types For Haskell☆1,334Updated this week
- Runtime Haskell interpreter☆274Mar 1, 2026Updated 6 months ago
- 🕵️ Haskell STatic ANalyser☆597Jun 6, 2026Updated 3 months ago
- An easy to use, cross platform, GUI library for writing Haskell applications.☆666Jan 4, 2026Updated 8 months ago
- A purely functional programming language with first class types☆3,067Updated this week
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆742May 4, 2026Updated 4 months ago