kwxm

Pinned Repositories

cardano-base
Code used throughout the Cardano eco-system
Language:Haskell0 1 00
cardano-crypto
Language:C0 1 00
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:Haskell0 1 00
debug-flat
Language:Haskell0 2 00
hydra-poc-experiments
Measuring Plutus Core serialisation times for Hydra benchmarks
Language:Haskell0 1 00
nixpkgs
Nix Packages collection
Language:Nix0 1 00
nofib-plutus
Language:Haskell0 4 00
ocaml-cbor
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Language:OCaml0 1 00
ocaml-plc-cek
Language:OCaml0 3 00
plfa.github.io
Introduction to programming language theory in Agda.
Language:Agda0 3 00

kwxm's Repositories

kwxm/cardano-base
Code used throughout the Cardano eco-system
Language:Haskell0 1 00
kwxm/cardano-crypto
Language:C0 1 00
kwxm/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
Language:Haskell0 1 00
kwxm/debug-flat
Language:Haskell0 2 00
kwxm/hydra-poc-experiments
Measuring Plutus Core serialisation times for Hydra benchmarks
Language:Haskell0 1 00
kwxm/nixpkgs
Nix Packages collection
Language:Nix0 1 00
kwxm/nofib-plutus
Language:Haskell0 4 00
kwxm/ocaml-cbor
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
Language:OCaml0 1 00
kwxm/ocaml-plc-cek
Language:OCaml0 3 00
kwxm/plfa.github.io
Introduction to programming language theory in Agda.
Language:Agda0 3 00
kwxm/Plutus-Core-Spec
Language:TeX0 3 00
kwxm/ptx
Language:Haskell3 0
kwxm/tiny-lang
Language:Haskell3 0