☆10Dec 22, 2017Updated 8 years ago
Alternatives and similar repositories for haskell-ecosystem
Users that are interested in haskell-ecosystem are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 9 years ago
- ☆27Jan 22, 2024Updated 2 years ago
- A tool to make solving type errors in Haskell simple and fun.☆38Sep 23, 2022Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- Node.js Sente reference example☆10Jul 23, 2017Updated 9 years 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.
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Morte IDE☆29Apr 3, 2025Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated 7 months ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 7 months ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 2 weeks ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years 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.
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- ☆32May 27, 2018Updated 8 years ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Jun 22, 2026Updated 3 months ago
- Kiwi content management engine☆13Updated this week
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 10 months ago
- ☆14Oct 3, 2026Updated 2 weeks ago
- Tool to help discover ingredient effects in Skyrim☆14Apr 25, 2022Updated 4 years 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.
- ☆14Jul 23, 2026Updated 2 months ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 4 years ago
- An Erasure Code Library with Efficient Repair and Update Features☆11Jan 3, 2022Updated 4 years ago
- ☆11Aug 24, 2021Updated 5 years ago
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 11 months ago
- A YAMLy configuration parser-generator for C☆10Apr 5, 2017Updated 9 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Sep 7, 2016Updated 10 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆12Oct 10, 2026Updated last week
- Mark Volkmann's blog using 11ty☆13Sep 20, 2026Updated 3 weeks ago
- Convert Elixir expressions into Erlang☆14Jul 29, 2019Updated 7 years ago
- Derive Decline CLIs automatically from your enums and case classes in Scala 3☆15Apr 2, 2026Updated 6 months ago
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago