-
CIPs Public
Forked from cardano-foundation/CIPsCardano Improvement Proposals (CIPs)
JavaScript Creative Commons Attribution 4.0 International UpdatedOct 6, 2025 -
dmqr Public
Implementations of Haskell division functions using Agda-style operations
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 2, 2025 -
-
cardano-ledger Public
Forked from IntersectMBO/cardano-ledgerThe ledger implementation and specifications of the Cardano blockchain.
Haskell Apache License 2.0 UpdatedOct 17, 2023 -
cardano-base Public
Forked from IntersectMBO/cardano-baseCode used throughout the Cardano eco-system
Haskell Apache License 2.0 UpdatedSep 27, 2022 -
hydra-poc-experiments Public
Forked from cardano-scaling/hydraMeasuring Plutus Core serialisation times for Hydra benchmarks
Haskell Apache License 2.0 UpdatedMay 6, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedApr 11, 2022 -
-
ocaml-cbor Public
Forked from ygrek/ocaml-cborOCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
OCaml MIT License UpdatedFeb 2, 2021 -
-
-
-
tiny-lang Public archive
Forked from effectfully/tiny-langHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 11, 2019 -
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda.
Agda Creative Commons Attribution 4.0 International UpdatedOct 9, 2018
{{ message }}