aubrika/planarian

A self-healing layer for NixOS. It tracks what your system should be, what it is, and whether it's healthy, and repairs the difference through journaled, revertible transactions, with a watchdog that finishes or undoes any change interrupted mid-way. Deterministic, partly formally verified (Verus). Under construction.

GitHub repository with 12 stars and 1 forks.

Language: Rust

Topics: autonomic-computing, formal-verification, linux, nix, nix-flake, nixos, reliability, rust, self-healing, systemd

Open provider repository

24h trend summary

Trending score 0.61, freshness score 0.97, stars gained +2, forks gained +1.

Latest metric snapshot

2026-11-02: 12 stars and 1 forks.

Trending in Rust

  1. 1. zvec-ai/zvec-grep

    Local-first search across your workspace, built for humans and AI agents.

    GitHub repository with 4,213 stars and 257 forks.

    Trending score: 1.14; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: ai-agents, bm25, cli, code-search, full-text-search, local-first

  2. 2. martin-olivier/airgorah

    A WiFi security auditing software

    GitHub repository with 4,805 stars and 806 forks.

    Trending score: 1.49; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: gui, kali, linux-app, security, security-audit, wifi

  3. 3. nklmilojevic/sofka

    A Kubernetes TUI, reimagined in Rust - built on kube-rs and ratatui, async-first from the ground up.

    GitHub repository with 1,817 stars and 80 forks.

    Trending score: 1.87; stars gained: +8; forks gained: +0.

    Language: Rust

    Topics: argocd, devops, eks, flux, fluxcd, gke

  4. 4. openai/codex

    Lightweight coding agent that runs in your terminal

    GitHub repository with 132,766 stars and 20,977 forks.

    Trending score: 5.48; stars gained: +893; forks gained: +131.

    Language: Rust

  5. 5. Kuddev/pebrel

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

    GitHub repository with 3,664 stars and 210 forks.

    Trending score: 2.46; stars gained: +14; forks gained: +1.

    Language: Rust

    Topics: ai-cli, claude-code, codex, developer-tools, gpu-accelerated, opengl

  6. 6. CapSoftware/Cap

    Open source Loom alternative. Beautiful, shareable screen recordings.

    GitHub repository with 24,150 stars and 2,218 forks.

    Trending score: 3.29; stars gained: +20; forks gained: +4.

    Language: Rust

    Topics: app, cap, coss, mac, open-source, oss