Top 6 Haskell Optic Projects
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/
That project then has since led to a long term collaboration with the Topos Institute where we are building type theory for Polynomial Functors: https://github.com/toposInstitute/polytt
Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.
-
-
Index
What are some of the best open-source Optic projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | generic-records | 432 |
2 | DontFearTheProfunctorOptics | 409 |
3 | cofree-bot | 39 |
4 | split-morphism | 10 |
5 | domain-optics | 2 |
6 | refractor | 0 |