domain-optics
cofree-bot
domain-optics | cofree-bot | |
---|---|---|
- | 1 | |
2 | 39 | |
- | - | |
4.0 | 5.0 | |
5 months ago | 3 months ago | |
Haskell | Haskell | |
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.
domain-optics
We haven't tracked posts mentioning domain-optics yet.
Tracking mentions began in Dec 2020.
cofree-bot
-
Ask HN: What side projects landed you a job?
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.
What are some alternatives?
domain - Focused domain model declaration toolkit for Haskell
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
domain-core - Shared low-level API of "domain"
pakhi-bhasha - Dynamically typed bangla programming language written in rust
numeric-domains - A library to construct, combine and process numeric domains, written in Haskell.
bc - An implementation of the POSIX bc calculator with GNU extensions and dc, moved away from GitHub. Finished, but well-maintained.
albumentations - Fast image augmentation library and an easy-to-use wrapper around other libraries. Documentation: https://albumentations.ai/docs/ Paper about the library: https://www.mdpi.com/2078-2489/11/2/125
Picnic CSS - :handbag: A beautiful CSS library to kickstart your projects
stepmania - Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
backgroundremover - Background Remover lets you Remove Background from images and video using AI with a simple command line interface that is free and open source.
equinox - Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
goby - Goby - Yet another programming language written in Go