bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions (by auxoncorp)
esp32
Peripheral access crate for the ESP32 (by esp-rs)
bounded-registers | esp32 | |
---|---|---|
3 | 1 | |
50 | 121 | |
- | - | |
0.0 | 1.1 | |
over 2 years ago | over 2 years ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
bounded-registers
Posts with mentions or reviews of bounded-registers.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-03.
-
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
esp32
Posts with mentions or reviews of esp32.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-19.
What are some alternatives?
When comparing bounded-registers and esp32 you can also consider the following projects:
hubris - A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
meta-typing - 📚 Functions and algorithms implemented purely with TypeScript's type system
esp32-hal - A hardware abstraction layer for the esp32 written in Rust.
tyrade - A pure functional language for type-level programming in Rust
stm32-rs - Embedded Rust device crates for STM32 microcontrollers
humility - Debugger for Hubris
atsamd - Target atsamd microcontrollers using Rust
BitBang_I2C - A software I2C implementation to run on any GPIO pins on any system
type-level-sort - im so smart please hire me
meta-raspberrypi - Yocto/OE BSP layer for the Raspberry Pi boards
bounded-registers vs hubris
esp32 vs hubris
bounded-registers vs meta-typing
esp32 vs esp32-hal
bounded-registers vs tyrade
esp32 vs stm32-rs
bounded-registers vs humility
esp32 vs atsamd
bounded-registers vs BitBang_I2C
esp32 vs humility
bounded-registers vs type-level-sort
esp32 vs meta-raspberrypi