Replace complex Borg Backup terminal commands with a beautiful web UI. Create, schedule, and restore backups with just a few clicks.

implement GPT-OSS 20B & 120B C++ inference from scratch on AMD GPUs

metamath proof enumerators and other things

Running any GGUF SLMs/LLMs locally, on-device in Android

A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.

Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.

NumPy aware dynamic Python compiler using LLVM

Fully open reproduction of DeepSeek-R1

A safe and ergonomic alternative to rm

Qwen3-Coder is the code version of Qwen3, the large language model series developed by Qwen team.

Game generator and playing website for number puzzles called "Str8ts" (like Sudoku)

Str8ts solver

Search for an optimal or approximate solution for the Mondrian Art Problem of given size

A toolkit for SAT-based prototyping in Python

Lingeling SAT Solver

A framework to ease parallelization of sequential SAT solvers

Donald Knuth's Algorithm 7.2.2.1M for covering with multiplicities and colors via dancing links

A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

Monte Carlo Tree Search for Markov decision processes using the POMDPs.jl framework

Copy a bunch of files into your clipboard to provide context for LLMs

DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence

gophersat, a SAT solver in Go

Numerical answers to all Project Euler problems

CaDiCaL SAT Solver

An advanced SAT solver

📂 Web File Browser

A simple, modern server dashboard, primarily used by smaller private servers