hegg
by alt-romes
Fast equality saturation in Haskell
AI summary
Symbolic manipulation library
Implementation of fast equality saturation in Haskell for symbolic expressions
- stars
- 79
- forks
- 8
- watching
- 3
Similar projects
Found by comparing what the projects do, not just their names.
haskell/text411
Unicode text processor
Efficient Unicode text operations in Haskell
Haskell interpreter
An interactive graphical interpreter for the Haskell programming language
Graphics library
A Haskell implementation of a subset of the Processing language for computer graphics
Exponential distribution library
A set of tools for working with exponential family distributions in JAX
Effect handler library
A Haskell library providing an efficient way to handle effects in functional programming
Effect system library
A Haskell library for building effectful applications with a focus on type-level effects and composability
Interval analyzer
A Haskell library for analyzing interval relationships and dependencies.
Haskell Interpreter
A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment.
Haskell parser
A toolset for manipulating and analyzing Haskell source code
Data processor
An environment for efficient data processing using Haskell or R code.
Haskell Spreadsheet
An Excel add-in that allows users to execute Haskell code and interact with it from within the spreadsheet.
Graphics library
A set of Haskell libraries providing bindings to the OpenGL graphics API.
jgm/texmath327
Markup converter library
A Haskell library for converting between various markup formats used to represent mathematics.
Parser library
A fast parser combinator library for efficient text parsing in network protocols and file formats
Haskell library
A standard library for Haskell to provide a common foundation for production software development
