📺 The power of Haskell in your terminal!
☆43Oct 26, 2025Updated 4 months ago
Alternatives and similar repositories for dosh
Users that are interested in dosh are comparing it to the libraries listed below
Sorting:
- Plutarch 2.0☆19Mar 31, 2025Updated 11 months ago
- ☆16Mar 29, 2023Updated 2 years ago
- ☆15Mar 29, 2023Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Feb 16, 2026Updated last week
- Propositional Logic Apropos Types☆15Feb 21, 2023Updated 3 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆71Feb 22, 2026Updated last week
- Test monadic programs using state machine based models☆19Feb 17, 2026Updated last week
- Select coins, build transactions☆18Feb 18, 2026Updated last week
- A helper library for working with compiled, parameterized Plutus Scripts☆19Feb 3, 2026Updated 3 weeks ago
- A community-driven collection of documentation for Haskell error messages and warnings☆105Jan 12, 2026Updated last month
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 3 months ago
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Feb 22, 2026Updated last week
- Type-safe printf from parsing GHC TypeLits Symbol☆28Sep 12, 2024Updated last year
- An Awesome MCP Server Framework for Haskell☆42Feb 11, 2026Updated 2 weeks ago
- ☆10Updated this week
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Nix-based Kubernetes management☆13Jul 27, 2024Updated last year
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated 2 months ago
- Koans to learn rhine☆13Feb 17, 2026Updated last week
- ☆22Feb 19, 2026Updated last week
- Better testing for Plutus☆11Nov 15, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 weeks ago
- A compiler from a subset of Rust to Brainfuck☆14Oct 2, 2024Updated last year
- C Compiler written in Kotlin☆13Apr 19, 2024Updated last year
- A protolude-based custom prelude for the Cardano project☆16Feb 20, 2026Updated last week
- ☆11Jun 19, 2021Updated 4 years ago
- ☆32Dec 24, 2021Updated 4 years ago
- Agda category theory library for denotational design☆57Jan 25, 2026Updated last month
- A handy user guide for the Cabal build tool☆29Sep 10, 2021Updated 4 years ago
- A modern Haskell debugger☆31May 1, 2025Updated 9 months ago
- ☆10Nov 20, 2023Updated 2 years ago
- ☆33Updated this week
- Nix tools for building Liqwid projects☆15Jan 15, 2024Updated 2 years ago
- A UPLC Debugger for the Cardano Ecosystem☆20Dec 3, 2025Updated 2 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Feb 17, 2026Updated last week
- ☆184Feb 13, 2026Updated 2 weeks ago
- A library for stateful property-based testing☆34Jan 19, 2026Updated last month