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…

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

The Xous microkernel

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

Register access crate for AVR microcontrollers

Microkit - A simple operating system framework for the seL4 microkernel

usb-device implementation for STM32 microcontrollers

Universal Stepper Motor Interface

A nicer HDL.

Firmware for the volume control hardware, targeting an STM32F4 board

iCE40 FPGA, SPI flash, and CMSIS-DAP SWD programmer

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.

Blue Pill Blink Demo for Drone OS.

A self-balancing robot coded in Rust

This is a rust based ping server that runs on top of the seL4 microkit on the ZCU102 development board.

ARINC 653 message router based on a653rs

Rust driver crate for the Decawave DW1000 UWB transceiver