Stars
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A secure embedded operating system for microcontrollers
Lunatic is an Erlang-inspired runtime for WebAssembly
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dat…
A modern text editor for the terminal written in Rust
Source code of Ferrocene, safety-critical Rust toolchain
SystemVerilog parser library fully compliant with IEEE 1800-2017
Maia SDR is an open-source FPGA-based SDR project focusing on the ADALM Pluto
🚀 a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
Microkit - A simple operating system framework for the seL4 microkernel
Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
usb-device implementation for STM32 microcontrollers
Firmware for the volume control hardware, targeting an STM32F4 board
Package manager and build system for VHDL, Verilog, and SystemVerilog
Obstacle avoiding robot made with the avr-hal crate, all in Rust 🦀.
Embedded Rust example for STM32F4-Discovery board.
This is a rust based ping server that runs on top of the seL4 microkit on the ZCU102 development board.
ferrous-systems / rust-dw1000
Forked from jkelleyrtp/dw1000-rsRust driver crate for the Decawave DW1000 UWB transceiver