flaub

awesome-rust

A curated list of Rust code and resources.

async-graphql

A GraphQL server library implemented in Rust

iree

A retargetable MLIR-based machine learning compiler and runtime toolkit.

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

risc0

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

rustix

Safe Rust bindings to POSIX-ish APIs

awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.

cargo-release

Cargo subcommand `release`: everything about releasing a rust crate.

circom

zkSnark circuit compiler

onnx-mlir

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

rules_rust

Rust rules for Bazel

miden-vm

STARK-based virtual machine

cargo-raze

Generate Bazel BUILD from Cargo dependencies!

monorepoize

Bash scripts for creating a monorepo out of smaller repos.

mlir-hlo

zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

wg-cargo-std-aware

Repo for working on "std aware cargo"

zk-benchmarking

comparing the performance of different zero-knowledge proof libraries

wagon

Creates Wheel based archives to allow portable offline installation of Python packages and their dependencies

riscv-coq

RISC-V Specification in Coq

blackjack

Build cargo dependencies with Bazel

mlirx

MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com

zk-message-board

biograph

The BioGraph genomics analysis platform

git-conventional

Conventional Commit API

sdk-docs

The book about near-sdk-rs

codegenrs

Moving code-gen out of `build.rs`

rust-bazel-cross

Cross-compilation example with rules_rust

delivery_checker

Source for an article in hashnode.

onnxruntime

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator