slime is an LLM post-training framework for RL Scaling.

Immutable Linux OS to run Incus

LuLu is the free open-source macOS firewall

Mypy plugin for the Python LSP Server.

Awesome autocompletion, static analysis and refactoring library for python

Fork of the python-language-server project, maintained by the Spyder IDE team and the community

Self-contained Emacs.app builds for macOS, with native-compilation support.

Nano vLLM

Universal LLM Deployment Engine with ML Compilation

MCP Server for Ghidra

Pomerium is an identity and context-aware access proxy.

Yet Another Document Translator

Web UI for semi-automatically importing external data into beancount

Democratizing Reinforcement Learning for LLMs

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

The ZAP by Checkmarx Core project

WARC writing MITM HTTP/S proxy

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

A lightweight macOS window and app manager scriptable with JavaScript

Simulation of Hong Kong's Railway Vision PIDS

🇸🇬 A list of useful APIs in Singapore for developers to use.

RSS reader for macOS and iOS.

🐫 CAMEL: The first and the best multi-agent framework. Finding the Scaling Law of Agents. https://www.camel-ai.org

Gorilla: Training and Evaluating LLMs for Function Calls (Tool Calls)

Beancount: Double-Entry Accounting from Text Files.

Fava - web interface for Beancount

A customizable lightweight SQL query tool that works on tabular data, including Beancount.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Count your code, quickly.

Themes for the kitty terminal emulator