kwxm/CIPs
Cardano Improvement Proposals (CIPs)
Repositories
kwxm/debug-flat
kwxm/dmqr
Implementations of Haskell division functions using Agda-style operations
kwxm/hydra-poc-experiments
Measuring Plutus Core serialisation times for Hydra benchmarks
kwxm/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
kwxm/cardano-crypto
kwxm/cardano-base
Code used throughout the Cardano eco-system
kwxm/tiny-lang
kwxm/nixpkgs
Nix Packages collection
kwxm/ocaml-cbor
OCaml CBOR generic decoder/encoder, RFC 7049, http://cbor.io/
kwxm/ocaml-plc-cek
kwxm/nofib-plutus
kwxm/ptx
kwxm/plfa.github.io
Introduction to programming language theory in Agda.