baguasquirrel's Stars
HeroTransitions/Hero
Elegant transition library for iOS & tvOS
chrisdone/intero
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
elliottt/hsopenid
A Haskell implementation of the OpenID 2.0 spec
baguasquirrel/hsopenid
A Haskell implementation of the OpenID 2.0 spec