Pinned Repositories
apropos
Propositional Logic Apropos Types
awesome-plutus
bot-plutus-interface
Unofficial PAB implementation
cardano-open-oracle-protocol
COOP - Cardano open oracle protocol
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/lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
mlabs-haskell/purescript-aeson
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
mlabs-haskell/purescript-cardano-types
Domain types for Cardano
mlabs-haskell/purus
A work-in-progress PureScript to Plutus Core compiler
mlabs-haskell/flake-lang.nix
Nix tools powering polyglot repositories
mlabs-haskell/proto.nix
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
mlabs-haskell/cardano-data-lite
Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib
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/hydra-auction-offchain
mlabs-haskell/purescript-cardano-serialization-lib
Pursecript library for cardano frontend types for emurgo/cardano-serialisation-lib
mlabs-haskell/purescript-cip30
Purescript interface to Cardano wallets over FFI to Cip30
mlabs-haskell/ytxp-lib
mlabs-haskell/cardano.nix
Nix ❤️ Cardano
mlabs-haskell/purescript-bytearrays
ByteArray utilities
mlabs-haskell/spo-anywhere
mlabs-haskell/ytxp-app
mlabs-haskell/ytxp-sdk
mlabs-haskell/plutus-ledger-api-rust
Plutus Ledger types and utilities implemented in Rust
mlabs-haskell/atlas
Application backend for Plutus smart contracts on Cardano
mlabs-haskell/CIPs
mlabs-haskell/DeNS
Decentralized Name System
mlabs-haskell/GRANDPA-formal-verification
Formal verification with the proof approach of the GRANDPA algorithm, a key algorithm of Polkadot
mlabs-haskell/milestone-3-4
mlabs-haskell/plutus
The Plutus language implementation and tools
mlabs-haskell/plutus-conformance
mlabs-haskell/plutus-ledger-api-typescript
Plutus Ledger API types for TypeScript
mlabs-haskell/prelude-typescript
A Prelude for TypeScript
mlabs-haskell/purescript-cip30-typesafe
Cardano wallet standard bindings with error handling via purescript-variant