rust-num/num-bigint

Big integer types for Rust

stronglyTypedMan/bignum-lowstar-tutorial

Tutorial found in https://fstarlang.github.io/lowstar/html/

alloy-rs/ruint

Rust Uint crate using const-generics

paholg/typenum

Compile time numbers in Rust.

rust-num/num-integer

Integer trait and functions for Rust

rust-num/num

A collection of numeric types and traits for Rust.

garritfra/qbe-rs

QBE IR in natural Rust data structures

informalsystems/basecoin-rs

An example ABCI application making use of tendermint-rs and ibc-rs