Skip to content
View paulyoung's full-sized avatar
💭
Type check and prove things
💭
Type check and prove things

Sponsoring

@tarsius

Organizations

@codebase-labs

Block or report paulyoung

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Mocks for testing embedded-hal based drivers without hardware access.

Rust 143 28 Updated Apr 2, 2026

Property-based testing for Rust, built on Hypothesis

Rust 209 13 Updated Apr 13, 2026

Semantic version control CLI. Entity-level diff, blame, graph, and impact analysis for code. 23 languages via tree-sitter.

Rust 1,594 45 Updated Apr 13, 2026

Optimize your binaries by doing const initialization from configuration files

Rust 1 Updated Oct 26, 2025

Compile the Git version (tag name, or hash otherwise) and dirty state into your Rust program.

Rust 128 16 Updated Dec 13, 2023

Easy access to individual bits of integers.

Rust 52 5 Updated Mar 11, 2023

Beginner, advanced, expert level Rust training material

Rust 13,560 1,008 Updated Apr 11, 2026

Add hardship to your tests

Rust 1,148 72 Updated Apr 3, 2026

Examples of different ways to handle system registers

Rust 1 Updated Mar 10, 2026
Rust 54 48 Updated Apr 13, 2026

Tools for inspecting Rust async codegen

Rust 48 Updated Sep 4, 2025

Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

Rust 1,342 45 Updated Sep 26, 2025

Rust libraries and tools to help with interoperability and testing of serialization formats based on Serde.

Rust 186 37 Updated Feb 23, 2026

a multi-language bindings generator for rust

Rust 4,496 308 Updated Apr 13, 2026

Cross-platform app development in Rust

Rust 2,476 106 Updated Apr 7, 2026

A derive macro for implementing the display Trait via a doc comment and string interpolation

Rust 360 21 Updated Jan 20, 2026
Rust 526 10 Updated Oct 7, 2025

Nix dynamic derivations made easy

Nix 88 1 Updated Apr 9, 2026

CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases

Rust 183 24 Updated Apr 11, 2026

A high-performance multi-language bindings generator for Rust, up to 1,000x faster than UniFFI. Ship Rust libraries that feels native to Swift, Kotlin, and more

Rust 533 19 Updated Apr 13, 2026
TypeScript 6 Updated Feb 18, 2026

Boilerplate free state machines

Rust 12 Updated Apr 13, 2026

Hardware Abstraction Layer implementation for Daisy boards

Rust 82 21 Updated Jan 27, 2025

Framework to build browser extensions entirely in Rust with proc macros, type-safe Chrome API bindings, and Leptos for reactive UI. Compiles to WebAssembly with zero hand-written JavaScript.

Rust 277 4 Updated Mar 25, 2026

Use declarative macros as proc_macro attributes or derives

Rust 155 13 Updated Feb 5, 2026

A crate for managing memory bit by bit

Rust 1,380 128 Updated Aug 9, 2024

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Rust 30,096 517 Updated Mar 28, 2026

Read-only mirror of the official repo at git://sigrok.org/sigrok-cli. Pull requests welcome. Please file bugreports at sigrok.org/bugzilla.

C 81 46 Updated Aug 26, 2024

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Rust 1,115 28 Updated Apr 13, 2026

Stream any desktop content to your Playdate in real-time via USB.

TypeScript 3 Updated Dec 25, 2024
Next