Pinned Repositories
awesome-plutus
bot-plutus-interface
Unofficial PAB implementation
cardano-open-oracle-protocol
COOP - Cardano open oracle protocol
cardano.nix
Nix ❤️ Cardano
lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
plutip
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
plutus-pioneer-program
plutus-simple-model
Unit testing with resource estimation for Plutus
ply
A helper library for working with compiled, parameterized Plutus Scripts
styleguide
MLabs's Repositories
mlabs-haskell/plutip
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.
mlabs-haskell/plutus-simple-model
Unit testing with resource estimation for Plutus
mlabs-haskell/styleguide
mlabs-haskell/purus
A work-in-progress PureScript to Plutus Core compiler
mlabs-haskell/cardano-serialization-lib-gc
cardano-serialization-lib with custom garbage collector for WASM
mlabs-haskell/godot-cardano
Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain
mlabs-haskell/purescript-hydra-sdk
mlabs-haskell/cardanow
mlabs-haskell/cem-script
https://cardano.ideascale.com/c/idea/106740
mlabs-haskell/guild-operators-apex
Artifacts and scripts created by Guild operators adapted for APEX network
mlabs-haskell/hydra-auction-onchain
mlabs-haskell/purescript-cardano-message-signing
A PureScript adapter for @mlabs-haskell/cardano-message-signing
mlabs-haskell/purescript-cip95
Low-level PureScript interface for CIP-95
mlabs-haskell/TuxedoDapp
Cryptokitties on Polkadot using UTXO
mlabs-haskell/cip-0116-tests
mlabs-haskell/purus-pkg
A package manager for purus
mlabs-haskell/wikipedia_parser
mlabs-haskell/atlas-bet-ref
mlabs-haskell/bet-ref-aiken
mlabs-haskell/block-buster
mlabs-haskell/clb-docs
mlabs-haskell/ctl-npm-meta
mlabs-haskell/GRANDPA-formal-verification
Formal verification with the proof approach of the GRANDPA algorithm, a key algorithm of Polkadot
mlabs-haskell/mlabs-haskell-packages
mlabs-haskell/plutus
The Plutus language implementation and tools
mlabs-haskell/ply-ctl
mlabs-haskell/purescript-cardano-collateral-select
mlabs-haskell/purescript-cip30-mock
mlabs-haskell/query-layer-impl
mlabs-haskell/rigel