Stars
PCB source for the original Ateroids arcade game
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
A Vic-20 clone created with [almost] all readily available parts
Sample applications to demonstrate Observability concepts
Files and templates to go along with my "Busy Dev's Workshop on Building a Virtual Machine"
Java library for creating fluid page layouts with Apache PDFBox. Supporting multi-page tables, different page layouts etc.
A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.
A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)
Open Source Java e-Invoicing library, validator and tool (Factur-X/ZUGFeRD, UNCEFACT/CII XRechnung)
eBPF-based Networking, Security, and Observability
A BASIC interpreter for the Raspberry Pi Pico (i.e. BASIC for microcontrollers)
Automatic code rewriting for AssertJ using error-prone and refaster
Disassembly of the Asteroids arcade game firmware
Activiti is a light-weight workflow and Business Process Management (BPM) Platform targeted at business people, developers and system admins. Its core is a super-fast and rock-solid BPMN 2 process …
Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Catch common Java mistakes as compile-time errors
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Google I/O 2022 Pinball game built with Flutter and Firebase
A GraphQL execution engine for distributed schemas
Gradle-Plugin zum Deployen von Prozessen und Formularen auf den OZG-Hub
A framework for easily creating forms for a JavaFX UI.