Graphicle-AI / graphicle

Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.

ModernRelay / omnigraph

Object-storage native graph database with git-style branching, a typed ontology, and hybrid graph, vector, and full-text retrieval over Lance files.

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.

Jamailar / Beav

Desktop AI workspace for content creators that saves and transcribes social posts, plans content, writes drafts, and makes images and short videos.

elliothux / open-compute

Self-hosted Cloudflare Workers-compatible platform with Workers、KV、D1、R2、DO、Queues、Workflows、Cron、Cache、Images、Vectorize、AI Search、Artifacts、Static Assets、Service Bindings、Dynamic Workers、LogTail、Gateway in one Rust binary.

omnimind-ai / OmniInfer

Unified, efficient, and easy-to-use inference infrastructure for edge AI || 面向端侧 AI 的统一、高效、易用的推理基础设施

Pinvou / pinvou-agent

Open-source desktop AI agent for tools, files, knowledge, workflows, and real deliverables.

deeplethe / utopia

World's first open-source enterprise world model.

cocoindex-io / cocoindex

Incremental engine for long horizon agents 🌟 Star if you like it!

artifact-keeper / artifact-keeper

Open-source universal artifact registry. Drop-in Artifactory/Nexus alternative with 40+ package formats, security scanning, WASM plugins, and edge replication.

jpzk / opensidian

A privacy-first, open-source platform for knowledge management and collaboration.

Freaction / Aquilum

Fast local-first Markdown knowledge base for Windows with live preview, search, graph, Dataview, book reader, and MCP

tnrjns / faith-runner

Mirror's Edge movement, animation and first-person body in Rust (Bevy). Game files are read from your own install.

lulu-loopp / glance

Edge-triggered system monitor panel for Windows

eclipse-zenoh / zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.

nymtech / nym

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

succinctlabs / sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

orbitinghail / graft

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

supabase / edge-runtime

A server based on Deno runtime, capable of running JavaScript, TypeScript, and WASM services.

GrafeoDB / grafeo

Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and RDF and all major query languages.

kdsz001 / OpenWiki

OpenWiki — Mac desktop AI knowledge management tool. Capture clipboard, build personal wiki, get AI insights.

alterem / knowledge-grab

knowledge-grab 是一个基于 Tauri 和 Vue 3 构建的桌面应用程序，方便用户从 国家中小学智慧教育平台 (basic.smartedu.cn) 下载各类教育资源。

lucas-pospor / cairn

Local-first Markdown notes for Linux, Windows and Android. Plain .md folders, optional end-to-end encrypted sync to a server you run yourself.

MystenLabs / sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

mimblewimble / grin

Minimal implementation of the Mimblewimble protocol.

aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

aleo-labs-protocol / snarkOS

A Decentralized Operating System for ZK Applications

typedb / typedb

TypeDB: Built for systems, not records

yvgude / lean-ctx

LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.

wasmCloud / wasmCloud

wasmCloud is an open source Cloud Native Computing Foundation (CNCF) project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.

wasmi-labs / wasmi

WebAssembly (Wasm) Interpreter - An efficient, lightweight, and deterministic WebAssembly interpreter for embedded systems and plug-in runtimes.

raphaelmansuy / edgequake

EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation

kenforthewin / atomic

Self-hosted, semantically-connected personal knowledge base

yomorun / yomo

🦖 Serverless AI Agent Framework with Geo-distributed Edge AI Infra.

starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

iwe-org / iwe

Markdown knowledge graph — LSP for your editor, CLI + MCP memory for your AI agents

attify / firmware-analysis-toolkit

Firmware security research platform combining binary analysis, taint tracing, and emulation across IoT, edge AI, mobile devices, and robotics.

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

hyperledger-solang / solang

Solidity Compiler for Solana, Polkadot and Stellar

darkrenaissance / darkfi

Anonymous. Uncensored. Sovereign.

project-akri / akri

A Kubernetes Resource Interface for the Edge

redheadesign / music-island

Music controls, local dictation, voice processing and assistant limits at the top edge of your Windows desktop.

aleo-labs-protocol / snarkVM

A zkVM for Decentralized Private Computations (DPC)

zcash / halo2

The Halo2 zero-knowledge proving system

lambdaclass / ethrex

Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

microsoft / Spartan

Spartan: High-speed zkSNARKs without trusted setup

0xMiden / miden-vm

STARK-based virtual machine

NucleoidAI / Nucleoid

Synthesized Logic Language for World Models 🌱🐋🌍

aovestdipaperino / tokensave

The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.

ad-si / Transity

Keep track of your 💵, 🕘, 🐖, 🐄, 🍻 on your command line with the plain text accounting tool of the future! 🚀

dusk-network / plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

nowledge-co / con-terminal

The Native Terminal Emulator with a builtin AI Harness

nymtech / nym-vpn-client

Cross-platform open source VPN client built in Rust, with mixnet anonymity and WireGuard speed. Protects metadata, not just IP addresses. Zero-knowledge payments for unlinkable online activities.

interledger / open-payments

Protocol to setup payments between entities on the Web based on GNAP

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

Muvon / octocode

Structural code intelligence for AI agents — semantic search, knowledge graphs, and a built-in MCP server in one Rust binary. Give Claude, Cursor, and any MCP client a deep understanding of your codebase.

JordyZomer / lemmalog

A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.

ximizhou / convenient_window_free

Windows 11 desktop enhancer for hot zones, edge hiding, window layouts, mouse gestures, screenshots and local OCR. Built with Tauri 2, Rust and Svelte.

crabbuild / compass

Native, local-first knowledge graph engine for code and project artifacts—inspired by Graphify, built in Rust, and evolving beyond it.

Stellar-Clear / clearledger-contracts

Soroban smart contracts on Stellar for invoice finance: participant registry, invoice lifecycle, USDC liquidity pools, and escrow coordination.