Haskell implemented with combinators
☆803Oct 29, 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☆40Oct 5, 2026Updated 3 weeks ago
- ☆172Oct 21, 2026Updated last week
- The adventures of a Haskell compiler☆244Mar 18, 2026Updated 7 months ago
- Fast parsing from bytestrings☆182Sep 23, 2026Updated last month
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆487Oct 13, 2026Updated 2 weeks 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.
- ☆193Aug 17, 2026Updated 2 months ago
- Minimal implementations for dependent type checking and elaboration☆807Jan 30, 2026Updated 8 months ago
- Demo for high-performance type theory elaboration☆611Feb 2, 2026Updated 8 months ago
- Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView☆353Sep 2, 2026Updated last month
- A modern step-through debugger for GHC Haskell☆154Updated this week
- A fast, safe, and intuitive DataFrame library.☆272Oct 23, 2026Updated last week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,081Jun 13, 2025Updated last year
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆102Sep 26, 2026Updated last month
- A theory‑backed, type‑safe algebraic effects☆197Aug 2, 2025Updated last year
- 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.
- Compiling Agda code to readable Haskell☆212Updated this week
- A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!☆465Oct 4, 2026Updated 3 weeks ago
- The Haskell Optimization Handbook☆189Oct 2, 2026Updated 3 weeks ago
- !!! --- MOVED TO CODEBERG --- !!!☆353Sep 4, 2026Updated last month
- Fast equality saturation in Haskell☆99Mar 9, 2026Updated 7 months ago
- High performance, streaming and concurrent functional programming in Haskell☆927Oct 21, 2026Updated last week
- Haskell + PostgreSQL Distributed Job Queue☆28Oct 21, 2026Updated last week
- Load a GHCi session for a Haskell project and reload it when source files change☆172Oct 11, 2026Updated 2 weeks ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆114Apr 23, 2026Updated 6 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.
- An easy to use, cross platform, GUI library for writing Haskell applications.☆667Jan 4, 2026Updated 9 months ago
- The Turbo Haskell Compiler☆196Oct 18, 2026Updated last week
- A re-implementation of weeder using HIE files☆193Sep 15, 2026Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆741Jul 21, 2026Updated 3 months ago
- A formatter for Haskell source code☆1,077Oct 12, 2026Updated 2 weeks ago
- A prompt engineering functional programming language☆623Aug 31, 2026Updated last month
- Official Haskell IDE support via the language server protocol (LSP)☆2,963Oct 22, 2026Updated last week
- Runtime Haskell interpreter☆275Mar 1, 2026Updated 7 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated last year
- 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.
- Koka language compiler and interpreter☆4,108Updated this week
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆81Aug 26, 2026Updated 2 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆234Jan 22, 2024Updated 2 years ago
- OpenTelemetry support for the Haskell programming language☆116Oct 13, 2026Updated 2 weeks ago
- 🕵️ Haskell STatic ANalyser☆596Oct 16, 2026Updated 2 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆82Aug 7, 2026Updated 2 months ago
- ☆66Oct 23, 2026Updated last week