wucke13

nix-autobahn

cetus2-know-how

A repo for me to collect know-how about a 3D printer

async-mavlink

make-presentation-video

reddit-consume

consume images and videos from reddit, while being super lazy

SQLpage

SQL-only webapp builder, empowering data analysts to build websites and applications quickly

a653lib

ARINC 653 POSIX based library

AeroRust.github.io

https://aerorust.org - The AeroRust community website - building the Rust 🦀 ecosystem for Aerospace 🚀 applications

azul

Desktop GUI Framework

blackmagic

In application debugger for ARM Cortex microcontrollers.

clipboard2

Improved clipboard handling (similar to rust-clipboard)

declarative-hydra

g29-hall-sensor-mod

Hall Sensor Modification for the G29/G27 pedals

gr-dvbs2rx

DVB-S2 Receiver Extensions for GNU Radio

huniq

Filter out duplicates on the command line. Replacement for `sort | uniq` optimized for speed (10x faster) when sorting is not needed.

IMSProg

IMSProg - software for CH341A-based programmers to work with I2C, SPI and MicroWire EEPROM/Flash chips

microkit

Microkit - A simple operating system framework for the seL4 microkernel

microkit-tutorial

Neptune-SDR-nix-utils

nesting

Graphical algorithm to find possible solutions to 2D nesting problems.

nix-environments

Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)

nixos-generators

Collection of image builders [maintainer=@Lassulus]

nixpkgs

Nix Packages collection

rosenpass

Rosenpass is a formally verified, post-quantum secure VPN that uses WireGuard to transport the actual data.

seL4

The seL4 microkernel

serde

Serialization framework for Rust

SysML-v2-API-Services

Proof-of-concept pilot implementation for the Systems Modeling API and Services.

uom

Units of measurement -- type-safe zero-cost dimensional analysis

zephyr-flake-utils

Nix flake version of zephyr

zmk-config