Stars
An inductive logic programming system
BitFun is a next-generation Agent system centered on AI assistants with personality and memory. Each user has a personal assistant that learns your habits and grows over time. Built-in capabilities…
Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
A Python implementation of active inference for Markov Decision Processes
A good drag and drop extension that improve your browsing experience. Currently support Firefox, Chrome, Edge and other chromium-based browser.
Fast, small, and fully autonomous AI assistant infrastructure — deploy anywhere, swap anything 🦀
SOTA low-bit LLM quantization (INT8/FP8/MXFP8/INT4/MXFP4/NVFP4) & sparsity; leading model compression techniques on PyTorch, TensorFlow, and ONNX Runtime
oneAPI Deep Neural Network Library (oneDNN)
🎬 卡卡字幕助手 | VideoCaptioner - 基于 LLM 的智能字幕助手 - 视频字幕生成、断句、校正、字幕翻译全流程处理！- A powered tool for easy and efficient video subtitling.
📄 Production-ready MCP server for PDF processing - 5-10x faster with parallel processing and 94%+ test coverage
efinance 是一个可以快速获取基金、股票、债券、期货数据的 Python 库，回测以及量化交易的好帮手！🚀🚀🚀
InternAgent-1.5: A Unified Agentic Framework for Long-Horizon Autonomous Scientific Discovery
Direct download links for the latest release of the Cursor AI-enabled IDE code editor
A powerful terminal-based coding assistant that combines the convenience of a modern TUI with the intelligence of large language models. Rust TUI Coder provides an interactive environment where you…
Salt Player (A local music player trusted and chosen by hundreds of thousands of users) for Android Release, Feedback.
Biyi (比译) is a convenient translation and dictionary app written in Flutter.
Trae Agent is an LLM-based agent for general purpose software engineering tasks.
LLM-powered framework for deep document understanding, semantic retrieval, and context-aware answers using RAG paradigm.
ncnn is a high-performance neural network inference framework optimized for the mobile platform
[ICML 2024, Spotlight] EfficientZero V2: Mastering Discrete and Continuous Control with Limited Data