johnshearing

ZKMicrophone

🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation, and political subversion. We've built the world's first attested microphone and used ZK-SNARKs to protect authenticity and privacy.

o1js

TypeScript framework for zk-SNARKs and zkApps

haskell-course

This course is designed to teach non-engineers (e.g., self-taught/bootcamp coders) Haskell from zero to productive in an interactive, easy-to-follow way.

framework

mina-ecosystem-101

Get started with Mina protocol.

mina-navi-voting-demo

list-of-projects

List of zkApps and other applications that are built on Mina / o1js.

NeerdowellART

18x24in Paintings

The-NodeJS-Master-Class

Code samples for the Node.js Master Class

wordle

docs2

Docs website for the Mina Protocol.

Starter-kit-mina-auro-nextjs-13

Build decentralized apps on Mina protocol with Next.js 13 and Auro Wallet integration. Get started quickly with this streamlined starter kit.

youtube_tutorials

zkvote

Mina ZK Vote

mina-wordle-game

A wordle game to demonstrate zkApp smart contract and oracle using Mina Protocol SnarkyJS

offchain-voting-poc

A proof of concept of an off-chain voting system using SnarkyJS and Mina

marlowe-starter-kit

This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marlowe Runtime.

mantis.functionally.io

An oracle for the Cardano blockchain.

TodoWebApp_Web3

Todo application running on Hardhat network and Nextjs for the frontend.

Mina_zkApp_Base

Repository that can be used as the boilerplate for a zkApp. Supports Snarkyjs 0.10 and Nextjs 13.4.

helios

Helios is a DSL for writing Cardano smart contracts. This library lets you compile Helios scripts and build Cardano transactions.

voteaire-onchain-spec

cardano-course

frankenwallet

Air-gappable encrypted wallet partition for security & privacy of Cardano and other cryptos.

plu-ts

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

marlowe-cardano

Marlowe smart contract language Cardano implementation

mpp-swap-contract

Run Cardano Marlowe Smart Contract

penkesu

Penkesu Computer - A Homebrew Retro-style Handheld PC

plutus-pioneer-program

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

json-editor

JSON Schema Based Editor