Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.

Source code for Twitter's Recommendation Algorithm

Emacs completion style that matches multiple regexps in any order

An open-source AI agent that brings the power of Gemini directly into your terminal.

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

DDraceNetwork, a free cooperative platformer game

LLMs as Copilots for Theorem Proving in Lean

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer

A high-throughput and memory-efficient inference and serving engine for LLMs

Containerization is a Swift package for running Linux containers on macOS.

A Lean companion to Analysis I

P != NP

An extremely fast Python type checker and language server, written in Rust.

Perspectives for Emacs.

🪄 Enchanted Spell Checker

MOROS: Obscure Rust Operating System 🦉

Minor mode for God-like command entering

Supercharge your Org daily/weekly agenda by grouping items

A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

Implementing a web server in a single printf() call

Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents

This repository contains an implementation of a new fast and flexible Krasnoselskii-Mann method to solve several convex programs, including optimal transport and geometric medians.

a categorical deep learning compiler

a structural diff that understands syntax 🟥🟩

😱 Falsehoods Programmers Believe in

Ongoing Lean formalisation of the proof of Fermat's Last Theorem