ebigram

canopy

A parser compiler for Java, JavaScript, Python, Ruby

xjsnark

A high-level framework for developing efficient zk-SNARK circuits

TimeModels.jl

Modeling time series in Julia

spark-py-notebooks

Apache Spark & Python (pySpark) tutorials for Big Data Analysis and Machine Learning as IPython / Jupyter notebooks

tensorflow_cookbook

Code for Tensorflow Machine Learning Cookbook

STARK101-rs

STARK 101 Workshop in Rust 🐺🦀

sysdig

Linux system exploration and troubleshooting tool with first class support for containers

gh.nvim

A fully featured GitHub integration for performing code reviews in Neovim.

Launch.nvim

🚀 Launch.nvim is modular starter for Neovim.

rbtree-rs

The rbtree for Rust

stark-snark-recursive-proofs

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

wena

Wena is a micro-framework that provides an elegant starting point for your console application.

rust-trees-that-grow

Brief implementation of Trees that Grow in Rust

noname

Noname: a programming language to write zkapps

gold

Redis-like database made with Rust.

gentle-intro

A gentle Rust tutorial

pinocchio_lambda_vm

Zero Knowledge Virtual Machine from scratch implementing Pinocchio

agatedb

A persistent key-value storage in rust.

voyager

crawl and scrape web pages in rust

collaborative-zksnark

Prototype implementations of various Collaborative zkSNARKs.

lifetime-variance

Rust tutorial to demonstrate how variance works

abi_stable_crates

Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.

groth16

A Rust implementation of the Groth16 zkSNARK

cap

An allocator that can track and limit memory usage.

yul

AES_zero_knowledge_proof_circuit

malachite

An arbitrary-precision arithmetic library for Rust.

openzl

Zero-Knowledge Cryptography Infrastructure Stack

Spartan

Spartan: High-speed zkSNARKs without trusted setup

curdleproofs

Curdleproofs is a zero-knowledge shuffle argument