iblech/constrained-categories
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Transparently tunnel your IP traffic through ICMP echo and reply packets.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
Root finding functions for Julia
Task monad transformer that turns event processing into co-routines programming.
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor