-
-
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