kwxm

Pinned Repositories

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

kwxm's Repositories

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