jobez

ChatGPT-AutoExpert

🚀🧠💬 Supercharged Custom Instructions for ChatGPT (non-coding) and ChatGPT Advanced Data Analysis (coding).

anytype-ts

Official Anytype client for MacOS, Linux, and Windows

zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

brainworkshop

Continued development of the popular brainworkshop game

affe

:monkey: affe.el - Asynchronous Fuzzy Finder for Emacs

Zenroom

Embedded no-code VM executing human-like language to manipulate data and process cryptographic operations.

mopro

Making client-side proving on mobile simple.

lurk-lisp

Lisp implementation of Lurk.

bonsai-foundry-template

Template for integrating RISC Zero and Ethereum using Foundry and Bonsai

wasm-cairo

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

starknet_stack

Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers

origami

The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.

zk-languages

Introduction to various ZK languages

drawtech

An open source, fully onchain drawing game

alucard

A common lisp DSL for writing zero knowledge circuits

datagovernancepatterns

Decentralized Data Governance Pattern Library

jin

Starknet contract storage dumper

naturalchain

0xThoth

A starknet wallet that supports email logins + social recovery

halo2-vectordb

Verifiable vector similarity queries PoC with Halo2.

blocks_n_stuff

Sort of a Minecraft clone made in two weeks.

zkholo-battleships

Holochain + ZKP usage experiment in the form of battleships

pwa-explorer

nft-payload

transcriptions-notebook

snarkOS

A Decentralized Operating System for ZK Applications

credit-score

kakarot-counter

starkcet