n7space / aerugo
Safety-critical applications oriented Real-Time Operating System written in Rust
☆291Updated last year
Alternatives and similar repositories for aerugo:
Users that are interested in aerugo are comparing it to the libraries listed below
- Oxidized Astrodynamics☆305Updated 3 weeks ago
- A wee async RTOS for Cortex-M☆758Updated 5 months ago
- Operations on matrices, vectors, and quaternions☆115Updated this week
- ☆204Updated 4 months ago
- Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust☆330Updated this week
- Ferrocene Language Specification☆432Updated last week
- Node-Based Robotics Framework Written in Rust☆69Updated 6 months ago
- Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project☆350Updated 4 months ago
- a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.☆298Updated 10 months ago
- Debugger for Hubris☆541Updated last week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,410Updated this week
- Self-contained distributed software platform for building stateful, massively real-time streaming applications in Rust.☆339Updated 2 months ago
- allocscope - a memory tracking tool☆552Updated 2 years ago
- Documentation, code and information for the Safety Critical Rust Consortium☆69Updated this week
- The Xous microkernel☆567Updated last week
- A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.☆214Updated 8 months ago
- IETF RFC2217 implementation in Rust☆135Updated last year
- Debug breakpoint assertions for Rust☆182Updated 4 months ago
- Firmware, hardware and documentation for my autonomous quad copter project☆185Updated last year
- A simple, fast, and secure operating system for the cloud.☆922Updated this week
- A framework for PLCs and real-time micro-services☆182Updated 2 weeks ago
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆400Updated 9 months ago
- Rust port of Spice, a low-overhead parallelization library☆632Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆457Updated last week
- Core POSIX command line utilities in safe Rust☆374Updated 2 weeks ago
- Source tree for the Verified Experimental Kernel Operating System, or VEKOS.☆205Updated 2 months ago
- HNSW implementation in Rust. Reference: https://arxiv.org/ftp/arxiv/papers/1603/1603.09320.pdf☆229Updated 5 months ago
- A toolkit to create better Rust device drivers, faster☆179Updated last week
- An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from…☆124Updated last year
- Purpose-built, Rust-native software engine for robotics☆746Updated this week