The peano numbers implemented in Rust's type system.
☆25Sep 4, 2016Updated 10 years ago
Alternatives and similar repositories for peano
Users that are interested in peano are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compile time numbers in Rust.☆590May 29, 2026Updated 5 months ago
- ☆16Jan 28, 2021Updated 5 years ago
- A Raw utility for managing contiguous heap allocations☆10Jul 26, 2016Updated 10 years ago
- Ordered iterators☆10May 21, 2020Updated 6 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Aligned allocation for Rust☆15Oct 27, 2020Updated 6 years ago
- A proc-macro to break Rust IDEs☆66Jul 14, 2021Updated 5 years ago
- Piece Table in Rust for efficient sequential insertion and removal (unmaintained)☆12Dec 29, 2017Updated 8 years ago
- Low-level manipulations of IEEE754 floating-point numbers.☆33May 17, 2023Updated 3 years ago
- Rust crate for accepting general reference-like values without proliferating generics.☆38Dec 15, 2016Updated 9 years ago
- Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search☆17Nov 22, 2017Updated 8 years ago
- Functional Programming and Higher Kinds in Rust☆13Aug 1, 2018Updated 8 years ago
- ☆18Jan 4, 2022Updated 4 years ago
- Macro-rules-style syntax matching for procedural macros☆54Nov 7, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A random grab-bag of things.☆16Mar 13, 2018Updated 8 years ago
- ☆46Feb 16, 2021Updated 5 years ago
- Streaming parser extensions for BufRead☆23Dec 12, 2019Updated 6 years ago
- A simple utility for ensuring that certain Rust code does not compile.☆37Jun 24, 2020Updated 6 years ago
- Zero-cost error handling for generic traits.☆11Jan 23, 2019Updated 7 years ago
- A structure for holding a set of enum variants☆19Mar 6, 2019Updated 7 years ago
- GADT-based field accessors and utilities☆17Updated this week
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- MOMA is a Rust toolkit for analysing things relative to an origin that moves. Its main use is spirals and helices around a wandering axis…☆12Oct 26, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Set the minimum alignments of types using const generics.☆18Oct 17, 2024Updated 2 years ago
- Safe atomic Box types for Rust☆26Jan 13, 2023Updated 3 years ago
- A Minsky Machine in Rust's type system☆75Apr 9, 2020Updated 6 years ago
- Fast, approximate versions of mathematical functions☆40Mar 6, 2019Updated 7 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Nov 23, 2023Updated 2 years ago
- Experimental HKT framework and generic traits for the standard library☆23Dec 11, 2022Updated 3 years ago
- A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.☆254Apr 3, 2017Updated 9 years ago
- Julia wrapper to RED language API☆11Jul 3, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A modified servo browser which accepts content patches over an IPC channel☆11Apr 26, 2016Updated 10 years ago
- A digital clock based on Teensy 3.2 and Rust☆60Sep 2, 2025Updated last year
- Algebraic structure and emulation of higher kinded types for Rust☆109Dec 15, 2018Updated 7 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆26Aug 25, 2024Updated 2 years ago
- Sample UI.Next todo list from the websharper.com home page☆10May 22, 2015Updated 11 years ago
- A map backed by a vector☆27Mar 12, 2024Updated 2 years ago
- Rust embed crate☆15Aug 18, 2017Updated 9 years ago