type-level-sort
bounded-registers
type-level-sort | bounded-registers | |
---|---|---|
2 | 3 | |
5 | 50 | |
- | - | |
0.0 | 0.0 | |
about 2 years ago | over 2 years ago | |
Rust | Rust | |
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
type-level-sort
bounded-registers
-
What Is Type-Level Programming?
This sort of thing is something we abused about Rust quite some time ago to make safer interfaces to low-level hardware.
https://blog.auxon.io/2019/10/25/type-level-registers/
-
Type-level Bubble Sort in Rust: Part 2
A much more practically useful type-level programming in Rust A macro to define type-level logic with value-level syntax in Rust Type-level Brainfuck in Rust "Gentle Intro to Type-level Recursion in Rust" Type-level registers in Rust Type-level quicksort in Scala" Type-level sorting algorithms in Haskell A repo with functions and algorithms implemented purely on types in TypeScript
- Writing embedded firmware using Rust
What are some alternatives?
meta-typing - 📚 Functions and algorithms implemented purely with TypeScript's type system
hubris - A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
tyrade - A pure functional language for type-level programming in Rust
FileSorterX - FileSorterX is an automatic file sorting application that sorts your files into folders based on their file extension. With FileSorterX, you can easily keep your files organized and find what you need quickly.
frunk - Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
humility - Debugger for Hubris
BitBang_I2C - A software I2C implementation to run on any GPIO pins on any system
esp32 - Peripheral access crate for the ESP32
stm32-rs - Embedded Rust device crates for STM32 microcontrollers