paholg / peanoView external linksLinks
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.☆573Nov 2, 2025Updated 3 months ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 7 years ago
- [Experiment] A lock-free, wait-free, block-free logger for the ARM Cortex-M architecture☆10Feb 18, 2020Updated 5 years ago
- Piece Table in Rust for efficient sequential insertion and removal (unmaintained)☆12Dec 29, 2017Updated 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
- ☆16Jan 4, 2022Updated 4 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- A macro for defining type operators in Rust.☆65Mar 16, 2017Updated 8 years ago
- Rust DFU protocol implementation for usb-device☆22Apr 21, 2024Updated last year
- 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
- Experiments with safe DMA abstractions in Rust☆18Sep 17, 2020Updated 5 years ago
- ☆18Mar 8, 2022Updated 3 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆36Jan 25, 2026Updated 3 weeks ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Nov 23, 2023Updated 2 years ago
- Low level API definition of a Mutex☆26Jul 29, 2025Updated 6 months ago
- Hassle-free asynchronous programming for Rust☆33Apr 20, 2025Updated 9 months ago
- Low-level manipulations of IEEE754 floating-point numbers.☆31May 17, 2023Updated 2 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Aug 25, 2024Updated last year
- Color space conversion math made simple☆40Nov 20, 2024Updated last year
- Utilities for pinning☆99Apr 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.☆244Apr 3, 2017Updated 8 years ago
- memory-mapped registers for x86_64 systems☆35May 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 week
- 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
- ☆579Jan 31, 2023Updated 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☆34Oct 9, 2025Updated 4 months ago
- Audio 1.0 USB class for usb-device☆36Sep 2, 2025Updated 5 months ago
- Postfix macros on stable Rust, today.☆76Mar 1, 2021Updated 4 years ago
- A thread pool for rust/tokio that can process file requests and send data to the socket with zero copy (using sendfile)☆30Mar 30, 2017Updated 8 years ago