auxoncorp / bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
☆51Updated 2 years ago
Related projects: ⓘ
- Initialization code ("crt0") written in Rust☆69Updated 3 years ago
- Experiments in `no_std` cooperative multitasking☆23Updated 5 years ago
- ☆43Updated 3 years ago
- Target "triple" support☆48Updated last month
- A Two Level Segregated Fit (TLSF) allocator optimized for memory-constrained systems☆20Updated 4 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- Prototype debugger for lilos☆19Updated 4 months ago
- Spawn processes with arbitrary closures in rust☆108Updated 3 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.☆29Updated 5 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 4 months ago
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Tool to print stack usage information emitted by LLVM in human readable format☆53Updated 2 years ago
- Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`☆46Updated 2 years ago
- Token tree calling convention☆80Updated last year
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 4 months ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- The peano numbers implemented in Rust's type system.☆24Updated 8 years ago
- ☆79Updated 3 years ago
- Yet Another Async Runtime (yaar) focused on forbid(unsafe) and scalability☆80Updated 2 years ago
- A utility to split autogenerated rust files into human-workable projects with the correct _form_☆32Updated 4 months ago
- Collection of typed data structures, trait operators and aliases☆50Updated 3 years ago
- Abstractions for asynchronous programming on the STM32F1xx family of microcontrollers.☆24Updated 2 years ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- A symbolic evaluator for MIR☆19Updated 4 years ago
- Machine scalar casting that meets your expectations☆73Updated 3 years ago
- Proc macro derive to generate structs from enum variants.☆24Updated last year
- A fresh look at embedded Rust development☆35Updated 3 years ago
- ☆31Updated 2 years ago
- Rust library for displaying compiler diagnostics like rustc☆21Updated last year