Showing 3 of 3 projects
A library providing common algebraic and categorical abstractions like monoids, functors, and monads to Elixir.
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
A Swift library for working with emojis, providing detection, manipulation, and metadata lookup.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.