bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions (by auxoncorp)
esp32-hal
A hardware abstraction layer for the esp32 written in Rust. (by esp-rs)
bounded-registers | esp32-hal | |
---|---|---|
3 | 1 | |
50 | 189 | |
- | - | |
0.0 | 3.4 | |
over 2 years ago | about 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-hal
Posts with mentions or reviews of esp32-hal.
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-hal 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 - Peripheral access crate for the ESP32
tyrade - A pure functional language for type-level programming in Rust
atsamd - Target atsamd microcontrollers using Rust
humility - Debugger for Hubris
BitBang_I2C - A software I2C implementation to run on any GPIO pins on any system
stm32f4xx-hal - A Rust embedded-hal HAL for all MCUs in the STM32 F4 family
stm32-rs - Embedded Rust device crates for STM32 microcontrollers
bounded-registers vs hubris
esp32-hal vs hubris
bounded-registers vs meta-typing
esp32-hal vs esp32
bounded-registers vs tyrade
esp32-hal vs atsamd
bounded-registers vs humility
esp32-hal vs humility
bounded-registers vs BitBang_I2C
esp32-hal vs stm32f4xx-hal
bounded-registers vs esp32
esp32-hal vs stm32-rs