• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Haskell
  • License
    Apache License 2.0
  • Created almost 2 years ago
  • Updated 7 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An auction system running on Hydra L2 solution

More Repositories

1

awesome-plutus

75
star
2

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.
Haskell
54
star
3

plutus-simple-model

Unit testing with resource estimation for Plutus
Haskell
31
star
4

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
Haskell
29
star
5

cardano-open-oracle-protocol

COOP - Cardano open oracle protocol
Haskell
22
star
6

bot-plutus-interface

Unofficial PAB implementation
Haskell
21
star
7

plutus-pioneer-program

Haskell
19
star
8

ply

A helper library for working with compiled, parameterized Plutus Scripts
Haskell
18
star
9

styleguide

Nix
16
star
10

apropos

Propositional Logic Apropos Types
Haskell
14
star
11

singularitynet

Bonded and unbonded stake pool for SingularityNET
PureScript
13
star
12

seath

PureScript
11
star
13

apropos-tx

Better testing for Plutus
Haskell
11
star
14

cardano-dev-wallet

A browser-based Cardano wallet for developers & testers
TypeScript
10
star
15

the-plutus-scaffold

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.
Nix
10
star
16

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.
Nix
7
star
17

hydra-demo

Hydra demo
Haskell
7
star
18

purus

A work-in-progress PureScript to Plutus Core compiler
Haskell
7
star
19

clb

Cardano Ledger Backend (next-gen PSM)
Haskell
7
star
20

purescript-cardano-types

Domain types for Cardano
PureScript
6
star
21

ogmios-datum-cache

Haskell
6
star
22

proto.nix

Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
Nix
6
star
23

purescript-aeson

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

seabug

Combined components for Seabug deployment
Nix
6
star
25

plutarch-ctl-bridge

CTL bridge done right
Nix
4
star
26

majority-multisign

Haskell
4
star
27

lambda-buffers-for-cardano

LambdaBuffers Cardano Demo
Nix
4
star
28

ytxp-lib

Haskell
4
star
29

MinAuth

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.
TypeScript
4
star
30

GHAppy

A utility to pull issues and create Audit Reports.
Haskell
4
star
31

catalyst-funded-projects

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

plutus-specification-language

Haskell
4
star
33

cardano-serialization-lib-gc

cardano-serialization-lib with custom garbage collector for WASM
JavaScript
4
star
34

flake-lang.nix

Nix tools powering polyglot repositories
Nix
4
star
35

plutus-security

3
star
36

cardano-data-lite

Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib
TypeScript
3
star
37

plutus-partial-tx

Effortless BPI + Lucid production PAB that reuses Haskell Contracts
Haskell
3
star
38

ctl-scaffold

Dhall
3
star
39

seabug-contracts

PureScript
3
star
40

godot-cardano

Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain
GDScript
3
star
41

tx-village

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

gov

2
star
43

cardanow

Nix
2
star
44

haskell-nix-extra-hackage

Nix
2
star
45

CardStarter-bulk-airdrop-script

Haskell
2
star
46

nft-marketplace-server

Haskell
2
star
47

embedano

Rust
2
star
48

purescript-cardano-transaction-builder

Declarative transaction builder API for cardano-transaction-lib
PureScript
2
star
49

hydra-auction-frontend

TypeScript
2
star
50

snarky-purescript

Groundwork for embedding SnarkyJS into PureScript
JavaScript
2
star
51

purescript-cip95

Low-level PureScript interface for CIP-95
PureScript
2
star
52

kupo-nixos

NixOS module for Kupo
Nix
2
star
53

opc-xml-da-client

OPC XML-DA Client for Haskell
Haskell
2
star
54

simple-haskell-nix

Simple & lightweight nix utilities for haskell.nix
Nix
2
star
55

uplc-benchmark

Haskell
2
star
56

TuxedoDapp

Cryptokitties on Polkadot using UTXO
TypeScript
2
star
57

nft-marketplace

TypeScript
2
star
58

hydra-auction-onchain

Haskell
2
star
59

hydra-auction-offchain

PureScript
2
star
60

congested-testnet

Nix
2
star
61

cem-script

https://cardano.ideascale.com/c/idea/106740
Haskell
2
star
62

cardano.nix

Nix ❤️ Cardano
Nix
2
star
63

seabug-onchain

Seabug onchain contracts taken from plutus-use-cases
Haskell
1
star
64

radix-simple-vote

Simple voting contract and frontend for Radix
TypeScript
1
star
65

plutus-inbox-nfts

Haskell
1
star
66

wallet-auth

TypeScript
1
star
67

ytxp-app

1
star
68

purescript-cardano-plutus-data-schema

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

hedgehog-plutus-simple

Makefile
1
star
70

ytxp-sdk

Haskell
1
star
71

ogmios-nixos

NixOS module for Ogmios
Nix
1
star
72

spo-anywhere

Nix
1
star
73

religant-integration-example

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)
Rust
1
star
74

plutus-v2-contracts

Testing ECDSA secp256k1 and Schnorr signature validators
Nix
1
star
75

plutus-secp256k1-interop

SECP256k1 signature scheme glue to interoperate with Plutus on-chain primitives
Haskell
1
star
76

purescript-cardano-hd-wallet

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

plutus-integer-bytestring

PoC implementation of Integer <-> ByteString conversions for Plutus
Haskell
1
star
78

fake-plutus-core

Haskell
1
star
79

push-cache-effect

Demo showing how to use HerculesCi effect to push to an external cache.
Nix
1
star
80

devblog-1

Code for first dev blog article
Haskell
1
star
81

plutus-conformance

Haskell
1
star
82

cip-0116-tests

JavaScript
1
star
83

purescript-cardano-message-signing

A PureScript adapter for @mlabs-haskell/cardano-message-signing
Nix
1
star
84

purescript-bytearrays

ByteArray utilities
Nix
1
star
85

spec

Design of Specifications
1
star