Pinned Repositories
accept-flake-config-demo
apropos-tx
Better testing for Plutus
atlas
Application backend for Plutus smart contracts on Cardano
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
cql
CQL: Categorical Query Language implementation in Haskell
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
HoTTEST-Summer-School
HoTTEST Summer School materials
liqwid-libs
A monorepo for Liqwid Labs plutarch libraries.
nix-pills
peter-mlabs's Repositories
peter-mlabs/nix-pills
peter-mlabs/accept-flake-config-demo
peter-mlabs/apropos-tx
Better testing for Plutus
peter-mlabs/atlas
Application backend for Plutus smart contracts on Cardano
peter-mlabs/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
peter-mlabs/cardano-transaction-lib
A Purescript library for building smart contract transactions on Cardano
peter-mlabs/cql
CQL: Categorical Query Language implementation in Haskell
peter-mlabs/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
peter-mlabs/HoTTEST-Summer-School
HoTTEST Summer School materials
peter-mlabs/liqwid-libs
A monorepo for Liqwid Labs plutarch libraries.
peter-mlabs/minimal-ptt-examples
peter-mlabs/mlabs-tooling.nix
A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.
peter-mlabs/plutonomicon
Advanced techniques in the plutus smart contract language
peter-mlabs/plutus-extra
Helper libraries for Plutus.
peter-mlabs/safe-money
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
peter-mlabs/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
peter-mlabs/plutus-apps
The Plutus application platform
peter-mlabs/ply
A helper library for working with compiled, parameterized Plutus Scripts
peter-mlabs/sc-tools
Select coins, build transactions
peter-mlabs/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: