Train the smallest LM you can that fits in 16MB. Best model wins!

Wasm SpecTec specification tools

Official inference framework for 1-bit LLMs

LLM inference on Apple Silicon from Scala Native, powered by MLX

A terminal spreadsheet multitool for discovering and arranging data

A minimal, secure Python interpreter written in Rust for use by AI

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

τ²-Bench: Evaluating Conversational Agents in a Dual-Control Environment

TACIT — Tracked Agent Capabilities In Types

A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents.

Windows alt-tab on macOS

Every Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, G…

A curated list of awesome resources, tools, tutorials, and projects for building generative AI applications using Spring AI

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

NOF0 - 开源的 AI 交易竞技场

Nix overlay for Lean 4, and lake2nix

Catalog Of Math Problems Formalized In Lean

A Machine-to-Machine Interaction System for Lean 4.

Python client to interact with the lean4 language server.

Lean Theorem Prover MCP

The Lean Computer Science Library (CSLib)

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Best Claude Code framework that actually save time. Built by a dev tired of typing "please act like a senior engineer" in every conversation.

Your Command-Line Research Paper Manager

A simple interface to GPIO devices with Raspberry Pi

An interactive theorem prover for string diagrams

Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.

Collections of awesome neovim plugins.

autopairs for neovim written in lua