KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.

Interactive Delphi Reconstructor

Experiments on automation for Lean

🚦 The official router for Vue.js

Emacs document annotator, using Org-mode

See and share Core Web Vitals and PageSpeed Insights results simply and easily.

Orgmode clone written in Lua for Neovim 0.11.0+.

Let's Encrypt/ACME client and library written in Go

Container runtimes on macOS (and Linux) with minimal setup

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

Weighs the soul of incoming HTTP requests to stop AI crawlers

Vesktop is a custom Discord App aiming to give you better performance and improve linux support

Tools to work with android .dex and java .class files

LSPosed Framework

A Wayland kiosk

Tools for playing Gakuen Idolmaster

uhh questioning the meaning of dotfiles

GitHub action for standard CI in Lean projects

Tactics for discharging Lean goals into SMT solvers.

LLMs as Copilots for Theorem Proving in Lean

The math library of Lean 4

Source code for the Mathematics in Lean tutorial.

CaDiCaL SAT Solver

Logic and Mechanized Reasoning

Code to automatically prove or verify estimates in analysis

A Lean companion to Analysis I

Thonburian Whisper: Open models for fine-tuned Whisper in Thai. Try our demo on Huggingface space:

An open-source, real-time streaming Automatic Speech Recognition (ASR) model for Thai, optimized for low-latency CPU deployment.

C/Migemo

An Emacs framework for the stubborn martian hacker