Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Probabilistic Programming System Anglican

Lets SwiftUI elements glow brighter than the screen using HDR, taking advantage of extended brightness on compatible displays.

A series of posts about QEMU internals:

The awesome document factory

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.

Run GGUF models easily with a KoboldAI UI. One File. Zero Install.

Tetris in a PDF (in most browsers)

jOOQ is the best way to write SQL in Java

Very fast Java screen capture PC software designed for the Glow Worm Luciferin firmware, the combination of these software create the perfect Bias Lighting and Ambient Light system for PC.

Titanos an exercise in writing OS kernel in Rust programming language.

Cross-platform toolkit for easy development of TUI applications.

Code for udm14.com, a site with an easily-accessible AI-free Google search. This has a CC0 license so consider the code public domain.

A semidefinite program solver for the conformal bootstrap.

Quibble - the custom Windows bootloader

Intel One Mono font repository

OTFeatureFreezer GUI app and pyftfeatfreeze commandline tool in Python to permanently "apply" OpenType features to fonts, by remapping their Unicode assignments

Source files for the Lato fonts

Fast and minimalistic Redbean-based Lua web framework in one file.

Tray application and Dolphin/Plasma integration for Syncthing

Collection of various BIOS/UEFI-related utilities which aid in research and/or modding purposes.

A Python script for gathering comprehensive hardware details from a computer

A tool designed to simplify the creation of OpenCore EFI

Lenovo P520 Hackintosh C612/X99

OpenCore bootloader

Text-based desktop environment

Cross Platform Terminal UI toolkit for .NET

Ad-Free, New Features & Freedom