Hardware Formal Verification Tool

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Circuit IR Compilers and Tools

An abstraction library for interfacing EDA tools

Hermit for Rust.

Scan your Rust crate for semver violations.

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Empowering everyone to build reliable and efficient software.

A Wayland kiosk

Userspace WireGuard® Implementation in Rust

Axum open API docs made simple

A requirements traceability tool

A model checker for implementing distributed systems.

Full-featured language server and other tools for WebAssembly.

Image Diff for snapshot testing

C++ package manager and build system

🔥 A cross-platform build utility based on Lua

3-stage RV32IMACZb* processor with debug

The simplest, cheapest lambda-hosted URL shortener

A Rust port of FlameGraph

An alternative API for filtering data with Spring MVC & Spring Data JPA

A Stable ABI for Rust with compact sum-types

A Rust proc-macro attribute parser

Command-line sampling profiler for macOS, Linux, and Windows

One Warehouse for Analytics, Search, AI. Snowflake + Elasticsearch + Vector DB — rebuilt from scratch. Unified architecture on your S3.

Multi-modal constructive solid geometry kernel in Rust

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Build production-ready applications in TypeScript

Maintainable configuration files