A formally verified async runtime (experimental) that delivers performance and APIs comparable to those of unverified runtimes such as Tokio.
☆33Oct 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for lion
Users that are interested in lion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆709Oct 23, 2026Updated last week
- Local video-first ShanghaiTech ELRC study player; students download their own course media☆49Sep 28, 2026Updated last month
- A comprehensive curated collection of for the in silico biomolecular binders design — spanning small molecules, peptides, protein binders…☆128Sep 11, 2026Updated last month
- 饵食大逃杀，一款扮演小鱼偷吃鱼饵的小游戏。☆154Jul 16, 2026Updated 3 months ago
- Interactive Domain Research Intelligent Assistant☆84Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆49Oct 11, 2026Updated 2 weeks ago
- A Xiaomi MiMo-powered multi-agent evaluation harness for real-world code repositories.☆97Oct 19, 2026Updated last week
- ☆33Sep 20, 2026Updated last month
- HunterCode · Community Edition · 腾讯 WorkBuddy 金融版的开源本地替代方案 · open-source, local alternative to Tencent WorkBuddy Finance Edition · 多智能体投研…☆576Oct 14, 2026Updated 2 weeks ago
- DSPlatform系统是一个集成的解决方案，基于Thinkphp8 + Vue3 + Element Plus + Uniapp 开发，系统支持多种商业模式，包括传统商城购物、外卖配送、上门服务、上门家政、短视频带货等，满足不同行业的业务需求。无论是电商平台、本地生活服务…☆954Updated this week
- 一条命令，把口播毛片变成可二次精修的剪辑工程。☆966Updated this week
- [ACL 2026 Best Paper Candidate (SAC Highlight / Oral)] Official implementation of "Double: Breaking the Acceleration Limit via Double Re…☆96Jun 29, 2026Updated 4 months ago
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆1,033Updated this week
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆918Oct 9, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆252Aug 31, 2026Updated last month
- Open-source CLI, schemas, resolver, and DSH agent tools for DSH Plugin Hub☆276Oct 20, 2026Updated last week
- Q-Align-style framework with lightweight LMMs, including 0.8B, 4B, and 9B checkpoints, dataset builders, caching, scoring, and CLI workfl…☆474Jun 24, 2026Updated 4 months ago
- ☆218Jul 30, 2026Updated 3 months ago
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,183Updated this week
- 🔥 The first-ever interactive streaming video generation benchmark.☆561Updated this week
- Run Linux-style commands on Windows via deterministic bash→PowerShell translation. No VM, no WSL. MCP server + CLI built for AI agents (C…☆903Updated this week
- Safety-critical longitudinal planning: from DP+QP+PID to DP+augmented-state MPC with safety constraint formulation with RSS model and iLQ …☆98Aug 19, 2026Updated 2 months ago
- 本地优先的 AI 投资研究工作台（AI investment research workbench），支持深度调研、证据化投资论点、投资组合风险分析、自选股与 Pi Agent 副驾驶。☆264Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CraftStation Agent Runtime Composition System☆880Updated this week
- Turn any image into an editable, multicolor 3MF bead relief — locally in your browser.☆440Oct 21, 2026Updated last week
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆828Sep 17, 2026Updated last month
- Local-first AI second brain & personal knowledge management: Six-Brain Markdown blueprint, Obsidian example vault, offline deployment and…☆880Updated this week
- TrayLnks — 轻量级 Windows 托盘链接启动器，文件系统即配置。指向一个文件夹，它就变成一个多级托盘菜单。☆88Oct 19, 2026Updated last week
- 大模型驱动的npc决策，npc和玩家平权☆1,186Mar 29, 2026Updated 7 months ago
- ☆833Updated this week
- ☆718Oct 8, 2026Updated 3 weeks ago
- LumiField 沉浸式 Windows 音乐播放器 · GPL-3.0-only☆96Aug 26, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 希儿最初的家~☆734Updated this week
- Self-hosted video bed — streaming uploads, Range/206 playback, shareable player pages. Vue 3 + zero-dep Node, one Docker container.☆100Sep 23, 2026Updated last month
- Free strategy scorecard for trading backtests. Detect overfitting, weak edge, drawdown risk, and random-timing luck from returns, equity …☆931Updated this week
- 获取你在中国科学院大学的期末成绩 | Get your final grades of courses at the UCAS☆19Jul 30, 2026Updated 3 months ago
- MotorMind: Scaffolding General Vision Language Models for Zero-Shot Robot Manipulation☆116Oct 8, 2026Updated 3 weeks ago
- PON Sovereign Agent is an autonomous AI treasury that continuously evolves its intelligence and allocates protocol-generated revenue acro…☆46Sep 1, 2026Updated last month
- ☆174Sep 17, 2026Updated last month