Repos
147
Stars
305
Forks
67
Top Language
Haskell
Loading contributions...
Top Repositories
Repositories
147The theory of groups
No description provided.
RFC 4648-compliant Base64
A master-class in Origami - from primitive recursions to Kan-extension-based Folds
A List of Foundational Haskell Papers
amateur translation project of Grothendieck's EGA.
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
a fixed up copy of the Ralist package from hackage
Non-empty Vectors
RFC 4648-compliant Base32 encodings + decodings
Order theory
Smash products, Wedge products, and other Pointed stuff
Haskell bindings for secp256k1 library
No description provided.
No description provided.
CI assistant
[WIP] Optics via the profunctor representation theorem
Higher-order Functors
Universal markup converter
Fork bombs in lots of languages
No description provided.
Optics for the Base32 library
Inverse semigroups and partial group actions
Optics for system processes
No description provided.
docs.electronlabs.org
🚀 SimpleX - the first chat platform that is 100% private by design - iOS and Android apps are released 📱!
Optics for the Base16 library
Some conveniences for hoisting errors into monads
Natural number