The Swift Geometry Engine.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad