Sjoerd Visscher's repositories
data-category
Library of categories, with categorical constructions on them
free-functors
Provides free functors that are adjoint to functors that forget class constraints.
unfoldable
Class of data structures that can be unfolded.
algebraic-classes
Conversions between algebraic classes and F-algebras.
derive-lifted-instances
Derive class instances though various kinds of lifting
cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
dwtj_rules_markdown
Lint Markdown files in your Bazel workspace
group-theory
The theory of groups
haddock
Haskell Documentation Tool
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
purescript-profunctor-lenses
Pure profunctor lenses
quickcheck-contractmodel
Adversary testing of your plutus contract
rules_poetry
Bazel rules that use Poetry for Python package management
v8-to-istanbul
convert from v8 coverage format to istanbul's format
witherable
Filter with effects