Icelandjack's repositories

derivingvia-extras

Miscellaneous via types.

Language:HaskellLicense:BSD-3-ClauseStargazers:11Issues:2Issues:0

idiomatic

Deriving Applicative for sum types.. Idiomatically.

Language:HaskellLicense:BSD-3-ClauseStargazers:11Issues:2Issues:1
Language:IdrisStargazers:2Issues:5Issues:0

Image-type

Gets type of image.

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:2Issues:0

explicit-generics

Pattern matching on the representation from GHC.Generics without type classes.

License:BSD-2-ClauseStargazers:1Issues:2Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

aeson

A fast Haskell JSON library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

binary

Efficient, pure binary serialisation using ByteStrings in Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

deepseq

Deep evaluation of data structures

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

emacs

Mirror of GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

EvEff

Efficient Haskell effect handlers based on evidence translation.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

flat

Principled and efficient binary serialization

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

free

free monads

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

generic-random

Generic random generators

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

generics-sop

Generic Programming using True Sums of Products

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hashable

A class for types that can be converted to a hash value

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

offchain-metadata-tools

Tools for creating, submitting, and managing off-chain metadata such as multi-asset token metadata

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

plutarch-core

Plutarch 2.0

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

profunctors

Haskell 98 Profunctors

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

random

Random number library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

streamly

Dataflow programming and declarative concurrency

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0