Pinned Repositories
base64
RFC 4648-compliant Base64
Cata-Mu-Fix
A master-class in Origami - from primitive recursions to Kan-extension-based Folds
group-theory
The theory of groups
haskell-resources
A List of Foundational Haskell Papers
lens-process
Optics for system processes
nonempty-vector
Non-empty Vectors
order
Order theory
smash
Smash products, Wedge products, and other Pointed stuff
vitrea
[WIP] Optics via the profunctor representation theorem
emilypi's Repositories
emilypi/group-theory
The theory of groups
emilypi/base64
RFC 4648-compliant Base64
emilypi/smash
Smash products, Wedge products, and other Pointed stuff
emilypi/nonempty-vector
Non-empty Vectors
emilypi/order
Order theory
emilypi/Base32
RFC 4648-compliant Base32 encodings + decodings
emilypi/Base16
emilypi/deflationaryV2
Deflationary Pact Contract
emilypi/ralist
a fixed up copy of the Ralist package from hackage
emilypi/base64-bytestring-kadena
emilypi/biscuit-haskell
emilypi/buttplug-hs-core
A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
emilypi/cabal-cache
CI assistant
emilypi/electron-docs
docs.electronlabs.org
emilypi/fork-bomb
Fork bombs in lots of languages
emilypi/gas-tester
emilypi/groups
Group and Abelian group typeclasses
emilypi/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
emilypi/haskell.foundation-redux
emilypi/hs-hoist-error
Some conveniences for hoisting errors into monads
emilypi/kadena-docs
emilypi/libBF-hs
Haskell bindings to libBF
emilypi/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
emilypi/monoidal-containers
Maps using values' monoidal structure during merging
emilypi/nonempty-containers
Efficient non-empty variants of containers data types, with full API
emilypi/pandoc
Universal markup converter
emilypi/resolv
emilypi/rfcs
RFCs for changes to Rust
emilypi/semirings
semirings and *-semirings of types in base/haskell-platform
emilypi/simplex-chat
🚀 SimpleX - the first chat platform that is 100% private by design - iOS and Android apps are released 📱!