Category
3 projects
Showing 3 of 3 projects
witchcraftElixir
A library providing common algebraic and categorical abstractions like monoids, functors, and monads to Elixir.
#functional-programming#elixir#category-theory
Stars1.2k
Forks60
Last commit2 years ago
Category Theory in CoqRocq Prover
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
#mathematics#functional-programming#coq
Stars801
Forks80
Last commit
SmileSwift
A Swift library for working with emojis, providing detection, manipulation, and metadata lookup.
#emoji#name#ios
Stars523
Forks46
Last commit4 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.