algebraicgraphs
algebraicgraphs  haskellfrex  

1  1  
716  24  
    
5.9  3.2  
5 months ago  about 1 year ago  
Haskell  Haskell  
MIT License  MIT License 
Stars  the number of stars that a project has on GitHub. Growth  month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
algebraicgraphs

The Dot Essay (1923)
Really cool project, and I love the idea of nontraditional algebras. Have you seen the one graph algebra before? https://github.com/snowleopard/alga
haskellfrex

Is there an automatic approach to program optimization?
The work that is closest to real is [FREX](https://www.cl.cam.ac.uk/~jdy22/papers/partiallystaticdataasfreeextensionofalgebras.pdf) which has an [implementation in metaocaml](https://github.com/yallop/metaocamlfrex) and an [implementation in Haskell](https://github.com/yallop/haskellfrex). As far as I know [Ohad Kammar](http://denotational.co.uk/) is also working on an [Idris](https://www.idrislang.org/) version.
What are some alternatives?
grouptheory  The theory of groups
ParsleyHaskell  Reimplementation of Parsley in Haskell, with improvements
sparsetensor  typesafe implementation of tensor algebra in Haskell
partialsemigroup  A partial binary associative operator (appendMaybe :: a → a → Maybe a)
intervalalgebra  A Haskell implementation of Allen's interval algebra
hoop  A Haskell library for objectoriented programming
involutivesemigroups  Semigroups with involution.
largehashable  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
multiinstance  Multiple typeclass instances, selected by explicit application of a phantom type parameter
metaocamlfrex
tropicalgeometry  Haskell Library for Tropical Geometry
duration  A tiny compiletime time utility library, inspired by zeit/ms.