Stars
A project to digitalise results from physics into Lean.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
Self-Hosted Plaform for Secure Execution of Untrusted User/AI Code
A collection of formalized statements of conjectures in Lean.
Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…
A game server reimplementation for a certain turn-based anime game
Open Source Virtual (Network) Printer for Windows that allows you to create PDFs, OCR text, and print images, with advanced features usually available only in enterprise solutions.
🚀 One-stop solution for creating your digital avatar from chat logs 💡 Fine-tune LLMs with your chat logs to capture your unique style, then bind to a chatbot to bring your digital self to life. 从聊天…
Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.
Embedding Atlas is a tool that provides interactive visualizations for large embeddings. It allows you to visualize, cross-filter, and search embeddings and metadata.
🚀 EvoAgentX: Building a Self-Evolving Ecosystem of AI Agents
A cache for AI agents to learn and replay complex behaviors.
ContextGem: Effortless LLM extraction from documents
The SOTA Open-Source Browser Agent for autonomously performing complex tasks on the web
FULL v0, Cursor, Manus, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent, VSCode Agent, Dia Browser & Trae AI (And other Open Sourced) System Prompts, Tools & AI Models.
Lightweight and portable LLM sandbox runtime (code interpreter) Python library.
Pocket Flow: 100-line LLM framework. Let Agents build Agents!
Curated list of datasets and tools for post-training.
A quick guide (especially) for trending instruction finetuning datasets
A fast PostgreSQL Database Client Library for Python/asyncio.
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React. Opensource alternative to Notion or Outline.
Automate browser-based workflows with LLMs and Computer Vision