Agentic coding in Lean

SciGraphs: Graph Visualization and Analysis within Blender

SciBlend: Advanced Data Visualization Workflows within Blender.

DeepSeek Harness: Everything is a Plugin.

Create narrated interactive lessons with synchronized scenes and optional AI assistance.

Secret vault

Lightpanda: the headless browser designed for AI and automation

AI-powered virtual executive team — a single coherent executive persona backed by 8 specialist agents (FastAPI + Next.js).

Declare the infrastructure

Lean Standard Library

Markdown Viewer

A curated list of annual cyber security reports

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

The open source coding agent.

🌱 Private, quiet space for thinking. Simple app for .md files.

Command line tool for inspecting Parquet files

A playbook for systematically maximizing the performance of deep learning models.

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

A markup-based typesetting system that is powerful and easy to learn.

It's what you get when you take Jane Street's Core and make it Lean.

Lean Standard Library

AI agents running research on single-GPU nanochat training automatically

Social networking technology created by Bluesky

ESLint rules enforcing branded type safety - ban casts, direct construction, and mutation of Zod branded types

A curated list of reinforcement learning with verifiable rewards (continually updated)

A blog about data science and more

A curated list of TLA+ resources.