A wireless corne / crkbd ergonomic keyboard clone with support for a trackpoint. Built with ergogen v4.

An ergonomic split keyboard with TrackPoint support

swept corne - a small promicro based keyboard inspired by the Ferris, the Sweep and the Corne

Platform that enables Windows driver development in Rust. Developed by Surface.

Earrings with a ring of light

cli tool to generate preview images from a zmk .keymap file

A graphical processor simulator and assembly editor for the RISC-V ISA

A Raspberry Pi jukebox, playing local music, podcasts, web radio and streams triggered by RFID cards, web app or home automation. All plug and play via USB. GPIO scripts available.

first ergonomic keyboard with Trackpoint

🐮 Collection of simple CLI tools to help build Gentoo packages on a non-Gentoo Linux host

Prepare and store patch revisions as git tags

A hypervisor for fuzzing built with WHVP and Bochs

Checksec

A simple Hello World application for the L4Re operating system.

Low level drivers for initial booting of the L4Re operating system.

The bootloader of the L4Re operating system.

The core components of the L4Re operating system.

The build system for the L4Re operating system.

The main L4Re manifest to checkout the L4Re operating system.

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

The development version of the L4Re Microkernel

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

Function graph tracer for C/C++/Rust/Python

CTF framework and exploit development library

XEP-0384: OMEMO Encryption for libpurple.

A new generation cloud backup tool

A cheatsheet of modern C++ language and library features.

Dafny is a verification-aware programming language

Community site for microkernel projects.