-
cardano-blueprint Public
Forked from cardano-scaling/cardano-blueprintBlueprints, specifications and documentation on how to build Cardano.
JavaScript UpdatedMay 1, 2025 -
-
CIPs Public
Forked from cardano-foundation/CIPsJavaScript Creative Commons Attribution 4.0 International UpdatedDec 8, 2024 -
cardano-ledger Public
Forked from IntersectMBO/cardano-ledgerThe ledger implementation and specifications of the Cardano blockchain.
Haskell Apache License 2.0 UpdatedDec 7, 2023 -
min-max-pqueue Public
Min-max priority queue, also known as double-ended priority queue.
-
multi-containers Public
A few variants of multimaps.
-
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedMay 22, 2023 -
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
-
aiken Public
Forked from aiken-lang/aikenCardano Smart Contracts
Rust Apache License 2.0 UpdatedJan 20, 2023 -
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 7, 2022 -
developer-portal Public
Forked from cardano-foundation/developer-portalThe Cardano Developer Portal
JavaScript MIT License UpdatedSep 26, 2022 -
plutus-apps Public
Forked from IntersectMBO/plutus-appsThe Plutus application platform
Haskell Apache License 2.0 UpdatedJun 27, 2022 -
-
TypeCompose Public
Forked from conal/TypeComposeType composition classes & instances & misc
Haskell Other UpdatedApr 15, 2022 -
connections Public
Forked from cmk/connectionsA library for numerical conversions using Galois connections
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 13, 2022 -
hadoop-streaming Public
A simple Hadoop streaming library based on conduit.
-
apply-refact Public
Forked from mpickering/apply-refactRefactor Haskell source files
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 14, 2021 -
concat Public
Forked from compiling-to-categories/concatCompiling to Categories
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2021 -
-
vector Public
Forked from haskell/vectorAn efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Haskell Other UpdatedJul 25, 2021 -
ghc-exactprint Public
Forked from alanz/ghc-exactprintGHC version of haskell-src-exts exactPrint
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 20, 2021 -
extra Public
Forked from ndmitchell/extraExtra Haskell functions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 10, 2020 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedSep 6, 2020 -
ghcide Public
Forked from haskell/ghcideA library for building Haskell IDE tooling
Haskell Apache License 2.0 UpdatedSep 3, 2020 -
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Dockerfile MIT License UpdatedAug 6, 2020 -
haskell-hedgehog Public
Forked from hedgehogqa/haskell-hedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Haskell UpdatedJun 11, 2020 -
fficxx Public
Forked from wavewave/fficxxHaskell-C++ Foreign Function Interface Generator
Haskell UpdatedApr 29, 2020 -
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell UpdatedMar 24, 2020 -
{{ message }}