hegg
Symbolic manipulation library
Implementation of fast equality saturation in Haskell for symbolic expressions
Fast equality saturation in Haskell
79 stars
3 watching
8 forks
Language: Haskell
last commit: 9 months ago egraphsequality-saturationhaskell
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 |