no-witness-labs

Popular repositories Loading

1. formal_verification_lean4_course formal_verification_lean4_course Public

   Lean 9 5

2. lucid-evolution lucid-evolution Public

   Forked from Anastasia-Labs/lucid-evolution

   A highly scalable, production-ready transaction builder and off-chain framework for dApps and devs on Cardano.

   TypeScript 3 2

3. midday-sdk midday-sdk Public

   Midday-SDK is the go-to, next-gen library for building on the Midnight blockchain. Everything you need, transactions, data, wallets in one clean TypeScript ready package.

   TypeScript 3

4. hydra-manager hydra-manager Public

   An intuitive toolkit to interact and stress Hydra heads

   TypeScript 2

5. hydra hydra Public

   Forked from cardano-scaling/hydra

   Implementation of the Hydra Head protocol

   Haskell

6. Projects Projects Public

   Forked from ProofOfCardano/Projects