Techniques and numbers for estimating system's performance from first-principles

A (marginally) better on screen keyboard for GNOME 42

Eclipse Trace Compass

Open JVerein - Open Source Vereinsverwaltung

Family of split ergonomic keyboards with three rows of five or six keys, aggressive column stagger, generous thumb arc and optional bottom utility keys

Fermented Chili "Open Sauce" - My most starred repo has no code in it!

JVerein - Open Source Vereinsverwaltung

Tool for streamlining the development of Genode applications

Website for stories around the Genode operating system

What the f*ck Python? 😱

simple C 11 ring buffer implementation, allocated and evaluated at compile time

A public domain lock free queues implemented in C 11

pandoc markdown syntax, to be installed alongside vim-pandoc

pandoc integration and utilities for vim

CardDAV plugin for RoundCube Webmailer

A pandoc filter for numbering section references.

A pandoc filter for numbering theorems and theorem references.

A pandoc filter for numbering figures and figure references.

A pandoc filter for numbering tables and table references.

A pandoc filter for numbering equations and equation references.

Library code for pandoc-fignos/eqnos/tablenos/secnos.

Taskserver - Taskwarrior Synchronisation Server

Taskwarrior - Command line Task Management

Official AQEMU repository - a GUI for virtual machines using QEMU as the backend

Collection of community-maintained components for Genode

Genode OS Framework

Easy task management for professionals

theCrag.com: Add your voice and help guide the development of the world's largest collaborative rock climbing & bouldering platform