hyperpolymath/unified-dataset-vocab

Formal vocabulary definitions and taxonomies for datasets — Idris2-typed proofs with Zig FFI for cross-language consumption.

GitHub repository with 5 stars and 0 forks.

Language: Shell

Topics: dataset-vocabulary, epistemic-computing, epistemic-infrastructure, equivalence-aware-computing, formal-verification, hyperpolymath, machine-readable, nickel, ontology, open-source

Open provider repository

Latest metric snapshot

2026-09-24: 5 stars and 0 forks.

Trending in Shell

  1. 1. obra/superpowers

    An agentic skills framework & software development methodology that works.

    GitHub repository with 291,184 stars and 26,050 forks.

    Trending score: 5.66; stars gained: +1,007; forks gained: +85.

    Language: Shell

    Topics: ai, brainstorming, coding, obra, sdlc, skills

  2. 2. ohmyzsh/ohmyzsh

    🙃 A delightful community-driven (with 2,500+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

    GitHub repository with 189,915 stars and 27,452 forks.

    Trending score: 3.56; stars gained: +34; forks gained: +171.

    Language: Shell

    Topics: cli, cli-app, oh-my-zsh, oh-my-zsh-plugin, oh-my-zsh-theme, ohmyzsh

  3. 3. fscarmen/sing-box

    Sing-box 全家桶 --- 一键多协议脚本。支持 Reality、Hysteria2 、TUIC 、Trojan 、Shadowsocks 、 AnyTLS 、ShadowTLS 、 Vmess 、 VLESS 、NaiveProxy，搭配 Argo 隧道等，多客户端订阅（Clash / V2rayN / Throne / ShadowRocket / SFA ），无须域名、功能强大、配置灵活。

    GitHub repository with 5,709 stars and 1,137 forks.

    Trending score: 1.21; stars gained: +12; forks gained: +0.

    Language: Shell

    Topics: hysteria2, reality, shadowtls, sing-box, tuic, v2ray

  4. 4. liandu2024/Open-Box

    OpenWrt 一体化透明代理方案:一条命令装完 sing-box 内核 + 管理面板,浏览器打开即用

    GitHub repository with 1,343 stars and 267 forks.

    Trending score: 3.43; stars gained: +48; forks gained: +7.

    Language: Shell

  5. 5. kharmanskyi/open-steps

    Skills that translate your coding agent's output into plain language: honest reports, straight verdicts, steps you can follow. MIT.

    GitHub repository with 902 stars and 87 forks.

    Trending score: 3.45; stars gained: +56; forks gained: +3.

    Language: Shell

    Topics: agent-skill, agent-skills, ai-agents, claude-code, claude-code-plugin, claude-code-skills

  6. 6. x4gpanell/PasarGuard-Node

    GitHub repository with 285 stars and 701 forks.

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

    Language: Shell