D2 is a modern diagram scripting language that turns text to diagrams.

Extending PyTorch to Fully Homomorphic Encryption

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

zkSnark circuit compiler

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Neural networks built in Fancy Garbling

A suite of Rust libraries for secure multi-party computation.

A GKR-based zero-knowledge proof protocol for CNN model inference.

A STARK prover and verifier for arbitrary computations

awesome-zkml repository

Solana Trading Bot - Beta

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

An SDK for building applications on top of Raydium.

Documentation for Telegraf - the modern Bot API framework

Modern Telegram Bot Framework for Node.js

Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Small package that helps to find support and resistance levels and plot them on chart

Dapp that enable user to compare prices a cross different exchanges and swap at the best rate

An unofficial Python3 library to interact with bitget.com - full support for all API's endpoints. Buy me a coffee: https://buymeacoffee.com/cuongitl

Data Shapley: Equitable Valuation of Data for Machine Learning

A telegram copy trading bot that follows cryptocurrency derivatives trade on the binance leaderboard.

🔎 📈 🐍 💰 Backtest trading strategies in Python.

Solutions for PLFA (Programming Language Foundations in Agda) exercise