Stars
Train your AI self, amplify you, bridge the world
The official Python library for the OpenAI API
Port of OpenAI's Whisper model in C/C++
A financial agent for investment research
FULL v0, Cursor, Manus, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent, VSCode Agent, Dia Browser, Trae AI & Cluely (And other Open Sourced) System Prompts, Tools & AI Models.
An open-source runtime for composable workflows. Great for AI agents and CI/CD.
Build cross-platform desktop apps with JavaScript, HTML, and CSS
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry u…
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB
ClickHouse® is a real-time analytics database management system
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Parse, inspect, transform, and serialize content with syntax trees
Virtual whiteboard for sketching hand-drawn like diagrams
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
Implementation of Nougat Neural Optical Understanding for Academic Documents
Awesome multilingual OCR and Document Parsing toolkits based on PaddlePaddle (practical ultra lightweight OCR system, support 80+ languages recognition, provide data annotation and synthesis tools,…
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
package.json workflow for native development with Reason/OCaml
更新2008年版本的《上海交通大学生存手册》gitbook发布于https://survivesjtu.gitbook.io/survivesjtumanual/
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Lean 4 programming language and theorem prover
AutoMQ is a stateless/diskless Kafka on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.