#

u32

Here are 4 public repositories matching this topic...

luiscleto / lawful-words

Bend 2: what U32 operations compute, as laws checked by the proof checker

dependent-types library theorem-proving specification bitwise formal-verification integer-arithmetic bend u32 verified-software bend2 law-driven-development

Updated Nov 1, 2026
Shell

nilsmartel / datetime

very basic rust library to store specific time (created for practice, nor for production)

rust time date bitfields u32

Updated Dec 27, 2019
Rust

AxumCourse / rust-pg-uint

使用自定义类型实现 PostgreSQL 无符号整数并与 Rust 集成

rust restful postgresql unsigned sqlx i32 u32 axum unsigned-integer

Updated Aug 16, 2023
Rust

softwareventures / u32

32-bit unsigned integer math

unsigned integer int32 int u32

Updated Nov 7, 2026
TypeScript

Add this topic to your repo

To associate your repository with the u32 topic, visit your repo's landing page and select "manage topics."