Discover mlabs-haskell/proto.nix Open Source project

Unit testing with resource estimation for Plutus

plutus-simple-model

LambdaBuffers toolkit for sharing types and their semantics between different languages

lambda-buffers

COOP - Cardano open oracle protocol

cardano-open-oracle-protocol

Unofficial PAB implementation

bot-plutus-interface

plutus-pioneer-program

A helper library for working with compiled, parameterized Plutus Scripts

ply

styleguide

Propositional Logic Apropos Types

apropos

Bonded and unbonded stake pool for SingularityNET

singularitynet

seath

Better testing for Plutus

apropos-tx

A browser-based Cardano wallet for developers & testers

cardano-dev-wallet

Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build systems and scripts needed to scaffold a plutus project quickly.

the-plutus-scaffold

A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.

mlabs-tooling.nix

hydra-demo

Hydra demo

A work-in-progress PureScript to Plutus Core compiler

purus

Cardano Ledger Backend (next-gen PSM)

clb

An auction system running on Hydra L2 solution

hydra-auction

purescript-cardano-types

Domain types for Cardano

ogmios-datum-cache

Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)

purescript-aeson

Combined components for Seabug deployment

seabug

plutarch-ctl-bridge

CTL bridge done right

majority-multisign

LambdaBuffers Cardano Demo

lambda-buffers-for-cardano

ytxp-lib

MinaAuth is a library and accompanying set of Typescript packages making it easy to set up authentication/authorization based on zero-knowledge proof verification. The current functionality is focused on authorizing an HTTP API access with JWT tokens granted on providing valid zero-knowledge proofs.

MinAuth

A utility to pull issues and create Audit Reports.

GHAppy

One-stop repo for progress reports and information on our projects funded through Project Catalyst

catalyst-funded-projects

plutus-specification-language

cardano-serialization-lib with custom garbage collector for WASM

cardano-serialization-lib-gc

JavaScript

flake-lang.nix

Nix tools powering polyglot repositories

Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib

plutus-security

cardano-data-lite

Effortless BPI + Lucid production PAB that reuses Haskell Contracts

plutus-partial-tx

ctl-scaffold

Dhall

seabug-contracts

Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain

godot-cardano

GDScript

tx-village

Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

Rust

gov

cardanow

haskell-nix-extra-hackage

CardStarter-bulk-airdrop-script

nft-marketplace-server

Declarative transaction builder API for cardano-transaction-lib

embedano

Rust

purescript-cardano-transaction-builder

hydra-auction-frontend

Groundwork for embedding SnarkyJS into PureScript

snarky-purescript

JavaScript

purescript-cip95

Low-level PureScript interface for CIP-95

kupo-nixos

NixOS module for Kupo

OPC XML-DA Client for Haskell

opc-xml-da-client

Simple & lightweight nix utilities for haskell.nix

simple-haskell-nix

uplc-benchmark

Cryptokitties on Polkadot using UTXO

TuxedoDapp

nft-marketplace

hydra-auction-onchain

hydra-auction-offchain

congested-testnet

https://cardano.ideascale.com/c/idea/106740

cem-script

cardano.nix

Nix ❤️ Cardano

Seabug onchain contracts taken from plutus-use-cases

seabug-onchain

Simple voting contract and frontend for Radix

radix-simple-vote

plutus-inbox-nfts

wallet-auth

Type-level schemas that let one define PlutusData encodings for PureScript algebraic data types

ytxp-app

purescript-cardano-plutus-data-schema

hedgehog-plutus-simple

Makefile

ytxp-sdk

ogmios-nixos

NixOS module for Ogmios

spo-anywhere

A simple dApp that fetches current price data from the Religant Oracle and writes it to the metadata field of a token (for testing, mainly)

religant-integration-example

Rust

plutus-v2-contracts

Testing ECDSA secp256k1 and Schnorr signature validators

SECP256k1 signature scheme glue to interoperate with Plutus on-chain primitives

plutus-secp256k1-interop

PureScript impl of CIP-1852 (Hierarchical Determistic Wallets for Cardano) - using cardano-serialization-lib

purescript-cardano-hd-wallet

PoC implementation of Integer <-> ByteString conversions for Plutus

plutus-integer-bytestring

fake-plutus-core

Demo showing how to use HerculesCi effect to push to an external cache.

push-cache-effect

Code for first dev blog article

devblog-1

plutus-conformance

A PureScript adapter for @mlabs-haskell/cardano-message-signing

cip-0116-tests

JavaScript

purescript-cardano-message-signing

purescript-bytearrays

ByteArray utilities