fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

rustfs / rustfs

RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platforms such as MinIO and Ceph.

Kuddev / pebrel

AI-native, GPU-accelerated terminal emulator for Windows with SSH, persistent sessions, split panes, and first-class AI CLI workflows.

ZSeven-W / openpencil

Open-source vector design tool with an AI prompt-to-canvas workflow, concurrent agent teams, an MCP server, and JSON-based .op design files.

AnalyseDeCircuit / oxideterm

AI-native workspace for local shells and remote machines.Zero Webview, zero OpenSSL, zero telemetry, and no app subscription.Written in Rust+GPUI

gotempsh / temps

AI-native open-source alternative to Vercel + Sentry + PostHog + Pingdom + Resend + E2B. 440+ CLI operations with drop-in skills for Claude Code, Codex & OpenCode — deployments, analytics, session replay, error tracking, OpenTelemetry, email, sandboxes & AI gateway in one self-hosted Rust binary.

krakenfx / kraken-cli

The first AI-native CLI for trading crypto, stocks, forex, and derivatives.

formetaohy / bevy-neura

Build AI-native games in Bevy

katanemo / plano

Plano is an AI-native proxy server and data plane for agentic apps. Smart LLM routing, observability, agent orchestration, and guardrails so you stay focused on your agents core logic.

longbridge / longbridge-terminal

AI-native CLI for the Longbridge trading platform with real-time market data, portfolio, and trading...

CurvineIO / curvine

AI-Native & Cloud-Native FS: A high-performance file semantic layer for cloud object storage, integrated with high-speed cache. CNCF Sandbox Project.

xiazhi88 / Desic-Terminal

Open-source AI-native quant trading workstation for OKX crypto markets (Windows/macOS). Charts, order execution, AI trading assistant & automation behind code-enforced risk gates, Python strategy backtesting. 开源 AI 量化交易工作台：AI 自动交易、策略回测。