Pinned Repositories
Capabilities
A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
deriving-via
Deriving via
derivingvia-extras
Miscellaneous via types.
idiomatic
Deriving Applicative for sum types.. Idiomatically.
Icelandjack's Repositories
Icelandjack/derivingvia-extras
Miscellaneous via types.
Icelandjack/idiomatic
Deriving Applicative for sum types.. Idiomatically.
Icelandjack/blockchain
Icelandjack/Image-type
Gets type of image.
Icelandjack/explicit-generics
Pattern matching on the representation from GHC.Generics without type classes.
Icelandjack/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Icelandjack/aeson
A fast Haskell JSON library
Icelandjack/bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
Icelandjack/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
Icelandjack/cabal
Official upstream development repository for Cabal and cabal-install
Icelandjack/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
Icelandjack/CardStarter-bulk-airdrop-script
Icelandjack/deepseq
Deep evaluation of data structures
Icelandjack/emacs
Mirror of GNU Emacs
Icelandjack/EvEff
Efficient Haskell effect handlers based on evidence translation.
Icelandjack/flat
Principled and efficient binary serialization
Icelandjack/free
free monads
Icelandjack/generic-random
Generic random generators
Icelandjack/generics-sop
Generic Programming using True Sums of Products
Icelandjack/hashable
A class for types that can be converted to a hash value
Icelandjack/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Icelandjack/offchain-metadata-tools
Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata
Icelandjack/plutarch-core
Plutarch 2.0
Icelandjack/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
Icelandjack/plutus-pioneer-program
Icelandjack/profunctors
Haskell 98 Profunctors
Icelandjack/random
Random number library
Icelandjack/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Icelandjack/streamly
Dataflow programming and declarative concurrency
Icelandjack/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .