Top 6 Haskell Optic Projects
-
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
-
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.
-
-
Haskell Optics discussion
Index
What are some of the best open-source Optic projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | generic-records | 437 |
2 | DontFearTheProfunctorOptics | 419 |
3 | cofree-bot | 41 |
4 | split-morphism | 11 |
5 | domain-optics | 2 |
6 | refractor | 0 |