sjoerdvisscher
Follow
-
proarrow Public
Haskell library for doing category theory with a central role for profunctors
-
-
free-functors Public
Provides free functors that are adjoint to functors that forget class constraints.
-
-
haddock Public
Forked from haskell/haddockHaskell Documentation Tool
HTML BSD 2-Clause "Simplified" License UpdatedApr 17, 2024 -
one-liner Public
Constraint-based generics
-
quickcheck-contractmodel Public
Forked from input-output-hk/quickcheck-contractmodelAdversary testing of your plutus contract
Haskell Apache License 2.0 UpdatedMar 15, 2024 -
cardano-node-emulator Public
Forked from IntersectMBO/cardano-node-emulatorHaskell Apache License 2.0 UpdatedMar 12, 2024 -
-
unfoldable Public
Class of data structures that can be unfolded.
-
data-category Public
Library of categories, with categorical constructions on them
-
squares Public
The double category of Hask functors and profunctors
-
fmlist Public
FoldMap lists
-
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedNov 10, 2022 -
-
cleff Public
Forked from re-xyr/cleffFast and concise extensible effects
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 31, 2022 -
derive-lifted-instances Public
Derive class instances though various kinds of lifting
-
cardano-ledger-specs Public
Forked from IntersectMBO/cardano-ledgerA formal specification and executable model of the ledger rules introduced by the Shelley release
Haskell Apache License 2.0 UpdatedJun 11, 2021 -
haskell-language-server Public
Forked from haskell/haskell-language-serverSuccessor of ghcide & haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedApr 16, 2021 -
plutus Public
Forked from IntersectMBO/plutusThe Plutus language implementation and tools
HTML Apache License 2.0 UpdatedMar 9, 2021 -
go Public
Forked from nikunjy/goA guide to golang monorepo
Starlark MIT License UpdatedFeb 26, 2021 -
-
group-theory Public
Forked from emilypi/group-theoryThe theory of groups
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2020 -
rules_poetry Public
Forked from soniaai/rules_poetryBazel rules that use Poetry for Python package management
Starlark MIT License UpdatedNov 18, 2020 -
v8-to-istanbul Public
Forked from istanbuljs/v8-to-istanbulconvert from v8 coverage format to istanbul's format
JavaScript ISC License UpdatedOct 5, 2020 -
dwtj_rules_markdown Public
Forked from dwtj/dwtj_rules_markdownLint Markdown files in your Bazel workspace
Starlark MIT License UpdatedSep 4, 2020 -
algebraic-classes Public
Conversions between algebraic classes and F-algebras.
-
purescript-profunctor-lenses Public
Forked from purescript-contrib/purescript-profunctor-lensesPure profunctor lenses
PureScript MIT License UpdatedMar 19, 2020 -
-
kan-extensions Public
Forked from ekmett/kan-extensionsKan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Haskell Other UpdatedMay 19, 2019