Life & fun · alternatives · 2026
24 alternatives to E-graphs and equality saturation in Haskell
Fast equality saturation in Haskell
This Haskell library implements e-graphs and equality saturation, techniques for working with equivalence classes of expressions. It is designed for developers building compilers, optimizers, or symbolic reasoning… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. E-graphs and equality saturation in Haskell launched in 2022; newer entries below may have overtaken it.
- 1
A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud - GitHub - transient-haskell/transient-universe: A Cloud monad based on transient for the creation of Web and reactive distr
2016 · github.com · its alternatives →
- 2RM
2021 · hexdocs.pm · its alternatives →
- 3
Fast image IO and transformations. Contribute to RaphaelJ/friday development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 4
Great book with a low barrier to entry for learning Haskell
2016 · haskellbook.com · its alternatives →
- 5
Hi There, Erlang-RED has been my project for the last couple of months and I would love to get some feedback from the HN community. The idea is to take advantage of Erlangs message passing and low overhead processes to have true concurrency in Node-RED flows. Plus also to bring low-code visual flow-based programming to Erlang.
2025 · github.com · its alternatives →
- 6
The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 7
A fluent Twilio IVR library for Haskell. Contribute to steven777400/TwilioIVR development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 8
See what it’s like to program in a language without null.
2015 · books.thoughtbot.com · its alternatives →
- 9
Pattern-matching, first-class functions, and more in Haskell
2014 · stevekrouse.github.io · its alternatives →
- 10
A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell. - honza/redish
2013 · github.com · its alternatives →
- 11EI
2019 · getprogrammingwithclojure.com · its alternatives →
- 12
An Interpreter for Extended Relational Algebra (Scheme based) - scvalencia/Coddie
2016 · github.com · its alternatives →
- 13
GitHub Gist: instantly share code, notes, and snippets.
2011 · gist.github.com · its alternatives →
- 14SI
Hey HN, this is a small Haskell learning project that I wanted to share. It's just a website where you can see how many people write the exact same text as you (thought it was a fun idea). It's built using Scotty, SQLite, Redis and Caddy. Currently it's running in a small DigitalOcean droplet (1 Gb RAM). Using Haskell for web development (specifically with Scotty) was slightly easier than I thought, but still a relatively hard task compared to other languages. One of my main friction points was Haskell's multiple string-like types: String, Text (& lazy), ByteString (& lazy), and each library…
Jan 2026 · subth.ink · its alternatives →
- 15
Éole, a Lévy-optimal lambda calculus evaluator without oracle - HerrmannM/eole
2019 · github.com · its alternatives →
- 16
hspp: An experimental library to bring Haskell Style Programming to C++. - BowenFu/hspp
2022 · github.com · its alternatives →
- 17
A lightweight single-header pattern-matching library for C++17 with macro-free APIs. Try it at https://godbolt.org/z/8YMr8Kz8j
2022 · github.com · its alternatives →
- 18
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970
2021 · unsafeperform.io · its alternatives →
- 19
This project presents a new data structure for storing ordered integer maps. The proposed data structure is a compressive, cache-friendly, radix tree that has performance comparable to an unordered map (`std::unordered_map`) and is an order of magnitude faster than an ordered map (`std::map`).
2024 · github.com · its alternatives →
- 20IA
Software Engineer in New York specializing in Apple platforms
2015 · harlanhaskins.com · its alternatives →
- 21
A graph-based functional API for building complex scikit-learn pipelines. - alegonz/baikal
2020 · github.com · its alternatives →
- 22
ac-colors is a reactive JavaScript color library that can freely convert between RGB, HSL, HEX, XYZ, LAB, LCHab, LUV, and LCHuv, as well as handle random color generation and contrast ratio calculation. - vinaypillai/ac-colors
2020 · github.com · its alternatives →
- 23SH
2017 · pixel-druid.com · its alternatives →
- 24
Hey everyone! I've been working on hsrs, a type-safe Haskell Bindings Generator for Rust. I couldn't really find any bindings generator that would create type-safe, rich bindings for Haskell from Rust. Naturally, both languages have rich type systems, so I was amazed that no awesome bindings generator already existed, hence I decided to write my own. hsrs feels very similar to pyo3 and napi-rs, and if you've used those, hsrs will feel right at home. What's unique about hsrs as opposed to hs-bindgen is that it has type-safe bindings for rich types, like Result, Maybe, etc. while also…
May 2026 · github.com · its alternatives →
Also compare
- A Haskell library for web and distributed composable applications alternatives
- Result monad for Elixir inspired by Rust Result type alternatives
- Friday – A fast image processing library written in Haskell alternatives
- Haskell Programming alternatives
- Visual flow-based programming for Erlang, inspired by Node-RED alternatives
- Hindley-Milner Type Inference Algorithm in OCaml alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →