Stars
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.
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 Dockerfile for the ArchiveTeam Warrior
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
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
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
Visual Studio Code extension for the Lean 4 proof assistant


