E-graphs and equality saturation in Haskell

In plain words

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 systems in Haskell. The library provides data structures and algorithms to efficiently represent and manipulate sets of equivalent expressions, enabling automated program transformation and optimization through saturation-based methods.

written from the facts on this page · September 2026

From the sources

Fast equality saturation and equality graphs based on "egg: Fast and Extensible Equality Saturation" and "Relational E-matching". This package provides e-graphs (see Data.Equality.Graph ), a data structure which efficiently represents a congruence relation over many expressions. For a monadic interface to e-graphs check out Data.Equality.Graph.Monad (home to the convenient function represent ). Secondly, it provides functions for doing equality saturation (see Data.Equality.Saturation ), an optimization/term-rewriting technique that applies rewrite rules non-destructively to an expression represented in an e-graph until saturation, and then extracts the best representation. Equality…from hackage.haskell.org

• 
  A Haskell library for web and distributed composable applications2016 · github.com · ▲18

  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

• RM
  Result monad for Elixir inspired by Rust Result type2021 · hexdocs.pm · ▲39
• 
  Friday – A fast image processing library written in Haskell2014 · github.com · ▲41

  Fast image IO and transformations. Contribute to RaphaelJ/friday development by creating an account on GitHub.

• 
  Haskell Programming2016 · haskellbook.com · ▲66

  Great book with a low barrier to entry for learning Haskell

• 
  Hindley-Milner Type Inference Algorithm in OCaml2016 · github.com · ▲136

  The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.

• 
  A Haskell Library for Fluent Twilio IVR2015 · github.com · ▲36

  A fluent Twilio IVR library for Haskell. Contribute to steven777400/TwilioIVR development by creating an account on GitHub.

• 
  SimCity, but with Permits▲877

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 22h ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 13d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 14d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 8d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 12d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 22d ago · space.bl2.net

• 
  Xnapper▲1,517

  Take beautiful screenshots instantly

  Work · 2022 · xnapper.com

• 
  Gamma▲1,169

  Auto-generate decks, docs & social posts inside any workflow

  Work · 2022 · gamma.app

• 
  Threado▲921

  The command center for community builders

  Life & fun · 2022

• 
  Remotebase▲744

  Build remote engineering teams in 24 hours

  Dev tools · 2022 · remotebase.com

• 
  DhiWise 2.0▲740

  Convert Figma designs into Flutter 3.0 & React code rapidly

  Dev tools · 2022 · dhiwise.com

• PA
  Pornpen.ai – AI-Generated Porn▲711

  Hey HN, I've been working on https://pornpen.ai, a site for generating adult images. Please only visit the site if you are 18+ and willing to look at NSFW images. This site is an experiment using newer text-to-image models. I explicitly removed the ability to specify custom text to avoid harmful imagery from being generated. New tags will be added once the prompt-engineering algorithm is fine-tuned further. If the servers are overloaded, take a look at the feed and search pages to look through past results. For comments/suggestions/feedback please visit…

  AI · 2022 · pornpen.ai