xerj-org / xerj

Local-first search engine and MCP server in one Rust binary, indexing code, docs, logs and PDFs for BM25, vector and hybrid search.

Graphify-Labs / graphify

Builds a queryable knowledge graph from a codebase and its docs, PDFs, and configs, driven by a /graphify skill for AI coding assistants.

alibaba / open-code-review

Go-based AI code review CLI that runs deterministic pipelines alongside an LLM agent to leave line-level review comments on Git diffs.

Neet-Nestor / Telegram-Media-Downloader

A userscript that enables downloading images, GIFs, audio, and videos from Telegram web where downloads are disabled.

optiscaler / OptiScaler

Drop-in DLL that swaps or adds upscalers (DLSS, FSR, XeSS) and frame generation in supported PC games.

beeradmoore / dlss-swapper

Windows tool for downloading, managing, and swapping DLSS, FSR, and XeSS DLL files in installed games.

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.

go-gitea / gitea

Self-hosted all-in-one software development service offering Git hosting, code review, issue tracking, package registry, and CI/CD.

seaweedfs / seaweedfs

Distributed file and object storage system that serves S3, POSIX file system, and Iceberg/Lance table access from one Go binary.

KernelSU-Next / KernelSU-Next

Kernel-based root solution for Android devices, forked from KernelSU with additional features and fixes.

Notsfsssf / pixez-flutter

Third-party Flutter client for Pixiv that supports direct connection without a proxy and ugoira animation playback.

deckerst / aves

Android gallery and metadata explorer app built with Flutter, handling images, videos, and exotic formats like multi-page TIFFs and SVGs.

AeneasVerif / aeneas

Verification toolchain that translates Rust programs (via Charon's LLBC) into pure lambda calculus for proof in F*, Coq, HOL4, or Lean.

techjarves / Mobile-Harness

Android app that runs coding agents like Claude Code on-device, with an Ubuntu PRoot Linux environment for editing files, running commands, and previewing web apps.

xddxdd / nix-cachyos-kernel

Nix flake packaging Linux kernels with CachyOS patches and tunings, plus a CachyOS-patched ZFS module.

rocq-prover / rocq

Interactive theorem prover (proof assistant) for writing formal definitions, executable algorithms, and machine-checked proofs.

Lucas0623z / NoteLite

Open-source desktop app that recognizes sheet music from PDFs or images into editable scores, then exports MusicXML/MIDI and offers guided practice.

id577 / FS25_AdvancedDamageSystem

A Farming Simulator 25 mod that replaces one-click vehicle repairs with a wear-based reliability and maintenance system.

deepseek-ai / 3FS

A distributed file system from DeepSeek that uses SSDs and RDMA networks to serve storage for AI training and inference workloads.