Bandit is a tool designed to find common security issues in Python code.

Prometheus exporter for Aleo

talos/sidero setup examples

Docs website for the Mina Protocol.

Talos Linux is a modern Linux distribution built for Kubernetes.

Terraform module for deploying Kubernetes on AWS EC2 using Talos (Linux)

A set of Helm charts to run multiple components of the Ethereum blockchain on Kubernetes.

Aderyn 🦜 Rust-based Solidity AST analyzer.

A Transpiler to convert your Solana programs from Typescript to Anchor

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

A Virtual Machine for Zero-Knowledge Executions

Terraform examples to run Talos

CnCNet DLL for Command and Conquer: Yuri's Revenge using Syringe

CnCNet Ladder API & UI for Command & Conquer

XNA / MonoGame based client for playing classic Command & Conquer games both online and offline with a CnCNet game spawner.

A book on all things Foundry, available at https://book.getfoundry.sh.

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.

world-tree repository

👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

A collection of hello world examples for interacting with the PRISM ecosystem.