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.

wieslawsoltes / FerroUI

Cross-platform UI framework for Rust: styled property system, data binding, XAML, control themes and a composition renderer. A port of Avalonia.

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!

0x64616e6e / draftpaper

A Wayland desktop drawn as a drafting sheet: a tiling compositor in Rust (Smithay) with no bar. A live title block, lettered margins, windows tiled on the zones and parked in the margins, its own lock and login screens.

abhixdd / ghgrab

A simple, pretty terminal tool that lets you browse and download files from GitHub, GitLab, Codeberg, Gitea, and Forgejo without leaving your CLI.

tailcallhq / forgecode

AI enabled pair programmer for Claude, GPT, O Series, Grok, Deepseek, Gemini and 300+ models

loro-dev / loro

Make your JSON data collaborative and version-controlled with CRDTs

open-gitagent / gitagent

A universal git-native AI agent framework. Your agent lives inside a git repo — identity, rules, memory, tools, and skills are all version-controlled files.

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

idlefoundry / ca-72

CA-72: a synthesizer plug-in (VST3, CLAP, AU) for macOS, Windows and Linux, modelled from the circuit of a 1970s analogue synthesizer

chakra-ui / panda

🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️

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.

IntQuant / noita_entangled_worlds

True coop multiplayer mod for Noita.

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) 下载各类教育资源。

parisxmas / fastroute

Fast open-source PCB autorouter for KiCad and Specctra DSN — a Rust port of Freerouting with bug fixes, length matching, controlled impedance and differential pairs

PixDevsApps / sealwax

Mail, sealed. A fast, minimal email client for Omarchy: GTK 4, Rust, your live theme, keyboard first.

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.

WallabyDesigns / Larust

Larust is a Laravel-inspired web framework for Rust, bringing familiar routing, ORM, validation, authentication, templates, and CLI tooling to a compiled, type-safe Rust stack.

napi-rs / napi-rs

A framework for building compiled Node.js add-ons in Rust via Node-API

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

massalabs / massa

The Decentralized and Scaled Blockchain

amber-lang / amber

💎 Amber the programming language compiled to Bash/Ksh/Zsh

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

dora-rs / dora

DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dataflow capabilities. Applications are modeled as directed graphs, also referred to as pipelines.

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.

tox-dev / pipdeptree

A command line utility to display dependency tree of the installed Python packages

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

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

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.

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

trasta298 / keifu

Git genealogy, untangled. A TUI for navigating commit graphs with color and clarity.

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

g0h4n / RustHound-CE

Active Directory data ingestor for BloodHound Community Edition written in Rust. 🦀

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.

can1357 / pon

Python 3.14, compiled to metal — JIT & AoT native compiler and runtime in Rust. Cranelift backend, ruff parser, Green Tea GC, byte-exact differential testing against CPython.

interledger / open-payments

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