wucke13's repositories
cetus2-know-how
A repo for me to collect know-how about a 3D printer
reddit-consume
consume images and videos from reddit, while being super lazy
a653lib
ARINC 653 POSIX based library
AeroRust.github.io
https://aerorust.org - The AeroRust community website - building the Rust 🦀 ecosystem for Aerospace 🚀 applications
blackmagic
In application debugger for ARM Cortex microcontrollers.
clipboard2
Improved clipboard handling (similar to rust-clipboard)
g29-hall-sensor-mod
Hall Sensor Modification for the G29/G27 pedals
gr-dvbs2rx
DVB-S2 Receiver Extensions for GNU Radio
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
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
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