An Extensible Compiler IR Framework

A configurable, high-performance routing runtime for Apollo Federation 🚀

Simple, common-sense Bitcoin-themed Python ECC library

Run Rust files and expressions as scripts without any setup or compilation step.

Visualize/analyze a Rust crate's internal structure

Definitional implementation of Cedar language and utilities for DRT

Implementation of the Cedar Policy Language

🌐  Build and scale a single data graph across multiple services with Apollo's federation gateway.

A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle

Cairo is the first Turing-complete language for creating provable programs for general computation.

CLI task management & automation tool

A toolbox for zkSNARKs on Ethereum

STARK-based virtual machine

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

The Modular Platform (includes MAX & Mojo)

A formal verification of Linear PCP SNARKs.

Learning materials for the Mojo🔥programming language

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

CertiK fork of Slither Analyzer

A symbolic testing tool for EVM smart contracts

⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

The Ur/Web People Organizer

Static analysis framework for C

Guidelines and training material to write secure smart contracts

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

The DeepSEA programming language