A project to digitalise results from physics into Lean.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.

Social media scraping / data collection library for Facebook, Twitter, Reddit, YouTube, Pinterest, and Tumblr APIs

The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.

杀戮尖塔2的MOD，将杀戮尖塔2的游戏状态与操作暴露为本地 HTTP API 包装成 MCP Server，供支持 MCP 的AI客户端直接调用

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

Google Unlocked browser extension uncensor google search results

Sci-Fi worth consuming

Remove large amounts of unwanted applications quickly.

An agentic skills framework & software development methodology that works.

The design language that makes your AI harness better at design.

The python library for research and development in NLP, multimodal LLMs, Agents, ML, Knowledge Graphs, and more.

Channel State Information Extraction on Various Broadcom Wi-Fi Chips

The agent engineering platform

Terminal UI library with rich, interactive widgets — written in Golang

A powerful little TUI framework 🏗

TUI components for Bubble Tea 🫧

The open source AI engineering platform for agents, LLMs, and ML models. MLflow enables teams of all sizes to debug, evaluate, monitor, and optimize production-quality AI applications while control…

🏆 Discover best-of lists with awesome open-source projects on all kinds of topics.

Simple reverse ICMP shell

NVR with realtime local object detection for IP cameras

A Lean companion to Analysis I

simple terminal UI for git commands

🤖 Top-rated tools to scrape all major public sections from Facebook, Instagram, and Twitter (X) including posts (likes/comments), photos/videos, contact information, followers, following and much m…

Get your documents ready for gen AI

Convert your PDFs into Markdown files easily with Mistral OCR Software

AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.

An AI Hedge Fund Team

Production-ready platform for agentic workflow development.