hegg

Symbolic manipulation library

Implementation of fast equality saturation in Haskell for symbolic expressions

Fast equality saturation in Haskell

GitHub

79 stars

3 watching

8 forks

Language: Haskell

last commit: over 2 years ago

egraphsequality-saturationhaskell

hackage.haskell.org/package/hegg

Related projects:

Repository	Description	Stars
haskell/text	Efficient Unicode text operations in Haskell	411
heinrichapfelmus/hyper-haskell	An interactive graphical interpreter for the Haskell programming language	361
anton-k/processing-for-haskell	A Haskell implementation of a subset of the Processing language for computer graphics	71
neilgirdhar/efax	A set of tools for working with exponential family distributions in JAX	58
xnning/eveff	A Haskell library providing an efficient way to handle effects in functional programming	82
lexi-lambda/freer-simple	A Haskell library for building effectful applications with a focus on type-level effects and composability	228
tfausak/rampart	A Haskell library for analyzing interval relationships and dependencies.	77
terenceng03/mueval	A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment.	76
haskell-suite/haskell-src-exts	A toolset for manipulating and analyzing Haskell source code	194
tweag/haskellr	An environment for efficient data processing using Haskell or R code.	587
marcusrainbow/haxcel	An Excel add-in that allows users to execute Haskell code and interact with it from within the spreadsheet.	33
haskell-opengl/opengl	A set of Haskell libraries providing bindings to the OpenGL graphics API.	147
jgm/texmath	A Haskell library for converting between various markup formats used to represent mathematics.	327
haskell/attoparsec	A fast parser combinator library for efficient text parsing in network protocols and file formats	513
commercialhaskell/rio	A standard library for Haskell to provide a common foundation for production software development	846