An implementation of libc written in Rust

Type for dynamic lifetime erasure in Rust

Pre-defined Compiler Macros wiki

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

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

comparing the performance of different zero-knowledge proof libraries

Source for an article in hashnode.

Safe Rust bindings to POSIX-ish APIs

Rust rules for Bazel

A curated list of Rust code and resources.

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

Conventional Commit API

Moving code-gen out of `build.rs`

Repo for working on "std aware cargo"

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

STARK-based virtual machine

Generate Bazel BUILD from Cargo dependencies!

RISC-V Specification in Coq

Cross-compilation example with rules_rust

The book about near-sdk-rs

zkSnark circuit compiler

A GraphQL server library implemented in Rust

Build cargo dependencies with Bazel

The BioGraph genomics analysis platform

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

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

Bash scripts for creating a monorepo out of smaller repos.

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure