I played around with std::simd

A minimalist and untyped (and therefore extremely verbose) formal theorem proving language

External JavaScript for yt-dlp supporting many runtimes

OpenShot Video Library (libopenshot) is a free, open-source project dedicated to delivering high quality video editing, animation, and playback solutions to the world. API currently supports C++, P…

MSVC's implementation of the C++ Standard Library.

A new, customizable Arduino NMEA parsing library

The official firmware for Meshtastic, an open-source, off-grid mesh communication system.

The Lean version manager

Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…

A Rust compiler front-end for IDEs

qBittorrent BitTorrent client

Official Git mirror of the SQLite source tree

The systemd System and Service Manager

A Dockerfile for the ArchiveTeam Warrior

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

examples of using OpenSSL

Small portable AES128/192/256 in C

htop - an interactive process viewer

Example Fabric mod

Fork of Paper which adds regionised multithreading to the dedicated server.

Godot Engine – Multi-platform 2D and 3D game engine

A refreshingly simple data-driven game engine built in Rust

Arduino IDE 2.x

Empowering everyone to build reliable and efficient software.

Arch Linux packaging for ungoogled-chromium

The official repository of Mozilla's Firefox web browser.

A powerful Pacman (Package Manager) front end using Qt libs

The Python programming language

Visual Studio Code extension for the Lean 4 proof assistant