Peter Dragos (peter-mlabs)

peter-mlabs

Geek Repo

Company:MLabs

Github PK Tool:Github PK Tool

Peter Dragos's repositories

Language:NixLicense:CC-BY-SA-4.0Stargazers:1Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

apropos-tx

Better testing for Plutus

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

atlas

Application backend for Plutus smart contracts on Cardano

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cardano-transaction-lib

A Purescript library for building smart contract transactions on Cardano

Language:PureScriptLicense:MITStargazers:0Issues:0Issues:0

cql

CQL: Categorical Query Language implementation in Haskell

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0

HoTTEST-Summer-School

HoTTEST Summer School materials

Language:HTMLStargazers:0Issues:0Issues:0

liqwid-libs

A monorepo for Liqwid Labs plutarch libraries.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

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.

Language:NixLicense:MITStargazers:0Issues:0Issues:0

plutonomicon

Advanced techniques in the plutus smart contract language

Language:NixLicense:MITStargazers:0Issues:0Issues:0

plutus-extra

Helper libraries for Plutus.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

safe-money

Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals

Language:HaskellStargazers:0Issues:0Issues:0

plutarch-plutus

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

plutus-apps

The Plutus application platform

License:Apache-2.0Stargazers:0Issues:0Issues:0

ply

A helper library for working with compiled, parameterized Plutus Scripts

License:MITStargazers:0Issues:0Issues:0

sc-tools

Select coins, build transactions

License:Apache-2.0Stargazers:0Issues:0Issues:0

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

Language:C++License:MITStargazers:0Issues:0Issues:0