A simple and easy-to-use OIDC provider that allows users to authenticate with their passkeys to your services.

➕ Docker add-ons for Home Assistant

Development helper for docker-toolbox. Takes care of shares using Vagrant so you can do a chill development flow.

Formalization of FLP Impossibility Theorem

Give access to volatile PostgreSQL database for unit-tests.

Code documentation written as code! How novel and totally my idea!

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

📚 List of awesome university courses for learning Computer Science!

Readings in Databases

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

A simple Kudos widget with no dependencies. And it's free.

Create agents that monitor and act on your behalf. Your agents are standing by!

CakeML: A Verified Implementation of ML

Java Virtual Machine implemented in pure python

RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

A Node.js BLE (Bluetooth Low Energy) central module

Clang-based C/C++/Objective-C refactoring toolset

Lightweight Android library to parse RSS 2.0 feeds.

Big Brother Bot B3 is a complete and total server administration package for online games. B3 is designed primarily to keep your server free from the derelicts of online gaming, but offers more, mu…