The peano numbers implemented in Rust's type system.
☆24Sep 4, 2016Updated 9 years ago
Alternatives and similar repositories for peano
Users that are interested in peano are comparing it to the libraries listed below
Sorting:
- ☆16Jan 28, 2021Updated 5 years ago
- Compile time numbers in Rust.☆579Nov 2, 2025Updated 4 months ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 6 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- Tools for working with functions in rust☆10Oct 11, 2020Updated 5 years ago
- Macro-rules-style syntax matching for procedural macros☆53Nov 7, 2023Updated 2 years ago
- A simple utility for ensuring that certain Rust code does not compile.☆37Jun 24, 2020Updated 5 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- ☆17Jan 4, 2022Updated 4 years ago
- Rust DFU protocol implementation for usb-device☆22Apr 21, 2024Updated last year
- A macro for defining type operators in Rust.☆65Mar 16, 2017Updated 8 years ago
- A proc-macro to break Rust IDEs☆65Jul 14, 2021Updated 4 years ago
- Colorize stderr☆16Aug 19, 2016Updated 9 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆54Oct 26, 2021Updated 4 years ago
- Implementation of the `embedded-hal` traits for E310x microcontrollers☆17Apr 1, 2024Updated last year
- A small experimental microkernel for embedded systems☆23Aug 23, 2022Updated 3 years ago
- Experiments with safe DMA abstractions in Rust☆18Sep 17, 2020Updated 5 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆37Jan 25, 2026Updated last month
- A simple script (in Rust lang) to create HTML from SVD☆18Jan 2, 2024Updated 2 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆33Nov 23, 2023Updated 2 years ago
- WebUSB implementation for usb-device.☆23Jan 3, 2026Updated 2 months ago
- Low level API definition of a Mutex☆26Jul 29, 2025Updated 7 months ago
- Hassle-free asynchronous programming for Rust☆33Apr 20, 2025Updated 10 months ago
- Low-level manipulations of IEEE754 floating-point numbers.☆32May 17, 2023Updated 2 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Aug 25, 2024Updated last year
- Utilities for pinning☆100Apr 5, 2024Updated last year
- Mirror of https://gitlab.com/est/cargo-local-serve | Serve a local, offline, clone of crates.io.☆27Oct 11, 2020Updated 5 years ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆245Apr 3, 2017Updated 8 years ago
- memory-mapped registers for x86_64 systems☆37May 18, 2021Updated 4 years ago
- Asynchronous promises in rust using threads☆26May 22, 2015Updated 10 years ago
- ☆29Jan 19, 2020Updated 6 years ago
- Non-interleaving multithreaded output queue☆79Feb 8, 2026Updated last month
- cargo-feature-analyst is a tool written in rust to analyse the feature usage in your rust project.☆45Jun 16, 2020Updated 5 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- ☆578Jan 31, 2023Updated 3 years ago
- ☆36Mar 17, 2022Updated 3 years ago
- Lift enum variants to the type-level.☆32Mar 13, 2021Updated 4 years ago
- Unsafe marker trait for types that deref to a stable address☆35Updated this week
- Audio 1.0 USB class for usb-device☆35Sep 2, 2025Updated 6 months ago