Alternatives and similar repositories for bounded-registers

Users that are interested in bounded-registers are comparing it to the libraries listed below

• kpcyrd / kmod-rs

  View on GitHub
  Bindings to libkmod to manage linux kernel modules
  ☆13Dec 6, 2022Updated 3 years ago
• asimihsan / permutation-iterator-rs

  View on GitHub
  A Rust library for iterating over random permutations.
  ☆14Jun 15, 2021Updated 4 years ago
• m-yac / tt-in-cagda

  View on GitHub
  Simply typed lambda calculus in cubical agda
  ☆22Feb 22, 2020Updated 5 years ago
• zbraniecki / tinystr

  View on GitHub
  A small ASCII-only bounded length string representation.
  ☆61Feb 7, 2022Updated 4 years ago
• cwfitzgerald / path-dsl-rs

  View on GitHub
  A Rust utility DSL and macro to help construct and modify Paths.
  ☆23Jul 11, 2020Updated 5 years ago
• paholg / peano

  View on GitHub
  The peano numbers implemented in Rust's type system.
  ☆24Sep 4, 2016Updated 9 years ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• ahrvoje / numerics

  View on GitHub
  Numerical snippets & tests
  ☆12Jan 5, 2026Updated last month
• nguyenvukhang / gitnu

  View on GitHub
  enumerating git status
  ☆11Jun 10, 2024Updated last year
• fluvio-community / future-aio

  View on GitHub
  Advanced futures library
  ☆16Feb 3, 2026Updated last week
• matklad / jthread-rs

  View on GitHub
  ☆15Aug 24, 2019Updated 6 years ago
• Ereski / generic-std

  View on GitHub
  Experimental HKT framework and generic traits for the standard library
  ☆22Dec 11, 2022Updated 3 years ago
• magnet / synattra

  View on GitHub
  A Syn Attribute Parser Toolkit
  ☆14Oct 15, 2024Updated last year
• Techno-coder / calculator

  View on GitHub
  Multipurpose calculator with coalescing written in Rust
  ☆22Dec 29, 2019Updated 6 years ago
• rustasync / async-ready

  View on GitHub
  Async readiness traits
  ☆11May 15, 2019Updated 6 years ago
• ocaml-multicore / uring-trace

  View on GitHub
  Visualization tool for your IO-uring workload
  ☆17Aug 19, 2024Updated last year
• jeffreyguenther / shiro

  View on GitHub
  Shiro - a declarative, dataflow programming language for exploring alternatives
  ☆16Oct 14, 2016Updated 9 years ago
• dureuill / stackpin

  View on GitHub
  Crate for data that should be pinned to the stack at the point of declaration.
  ☆14Dec 21, 2020Updated 5 years ago
• cemelo / aurora-channel

  View on GitHub
  An MPMC journaled broadcast channel
  ☆13Sep 9, 2020Updated 5 years ago
• samscott89 / swiggen

  View on GitHub
  Incredibly hack proof of concept of automatic Rust -> Swig pipeline using procedural macros
  ☆16Jul 18, 2018Updated 7 years ago
• TyberiusPrime / nested_intervals

  View on GitHub
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆17Apr 22, 2024Updated last year
• Copilot-Language / copilot-verifier

  View on GitHub
  System for verifying the correctness of generated Copilot programs
  ☆17May 8, 2025Updated 9 months ago
• fmease / tylift

  View on GitHub
  Lift enum variants to the type-level.
  ☆32Mar 13, 2021Updated 4 years ago
• auxoncorp / tnfilt

  View on GitHub
  ☆36Mar 17, 2022Updated 3 years ago
• dureuill / transfer

  View on GitHub
  'Transfer' is to 'move' what 'Clone' is to 'copy'
  ☆12Oct 13, 2019Updated 6 years ago
• Chaaaos / formaltt

  View on GitHub
  Formalization of type theory
  ☆22Jul 5, 2021Updated 4 years ago
• avr-rust / delay

  View on GitHub
  arduino-like delay routines based on busy-wait loops
  ☆16Jul 19, 2022Updated 3 years ago
• dylanede / embed_js

  View on GitHub
  Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.
  ☆20Dec 21, 2017Updated 8 years ago
• danburkert / procinfo-rs

  View on GitHub
  A Rust library for accessing Linux process and system information
  ☆90Aug 23, 2023Updated 2 years ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 years ago
• dalaing / little-languages

  View on GitHub
  Playing with DSLs in Haskell
  ☆22Feb 13, 2017Updated 9 years ago
• portals-project / portals

  View on GitHub
  Portals is a framework for stateful serverless apps, unifying dataflow streaming with actors
  ☆19Nov 15, 2023Updated 2 years ago
• withoutboats / kudzu

  View on GitHub
  skiplist
  ☆144Nov 24, 2021Updated 4 years ago
• lights0123 / async-avr

  View on GitHub
  async/await for AVR with Rust
  ☆36Jan 14, 2022Updated 4 years ago
• wenkokke / starchild

  View on GitHub
  F* library for verifying neural networks.
  ☆17Mar 25, 2023Updated 2 years ago
• ajrouvoet / ternary.agda

  View on GitHub
  An Agda library for programming with ternary relations
  ☆18Apr 9, 2025Updated 10 months ago
• async-rs / async-attributes

  View on GitHub
  Experimental language-level polyfills for Async Rust
  ☆48May 31, 2021Updated 4 years ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• avr-llvm / architecture

  View on GitHub
  Notes on the AVR architecture
  ☆20Oct 29, 2020Updated 5 years ago