[ICML2026] The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation fo…

LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar

A modern, native macOS app for managing launchd services

Modern plain text accounting. Beancount compatible.

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

The best ChatGPT that $100 can buy.

A local sandbox for your AI agents

GPT4 based personalized ArXiv paper assistant bot

claude code system prompt

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

Desktop Extensions: One-click local MCP server installation in desktop apps

On-device Image Generation for Apple Silicon

MLX native implementations of state-of-the-art generative image models

An innovative superfamily of fonts for code

Proxmox VE Helper-Scripts (Community Edition)

Turn docstrings into LLM-functions

R formatter and language server

A Beancount parser in Rust

Extremely fast Query Engine for DataFrames, written in Rust

GoNB, a Go Notebook Kernel for Jupyter

GoMLX: An Accelerated Machine Learning Framework For Go

A Go idiomatic binding to the C++ core of PyTorch

Rust bindings for the C++ api of PyTorch.

A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.

A minimalistic presentation theme for Quarto + Typst by Touying

A package for creating slides in Typst

Touying is a powerful package for creating presentation slides in Typst.

WebAssembly powered code blocks and exercises for both the R and Python languages in Quarto documents

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.