Peter Dragos's repositories
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.
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.
plutonomicon
Advanced techniques in the plutus smart contract language
plutus-extra
Helper libraries for Plutus.
safe-money
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
plutus-apps
The Plutus application platform
ply
A helper library for working with compiled, parameterized Plutus Scripts
sc-tools
Select coins, build transactions
Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: