Abhinav-Rust/REFAL-SUPERSYSTEM

Valentin Turchin's four-layer Refal supersystem, in Rust: a self-hosting Refal-5 compiler that drives (supercompilation over a graph of states), a reflection engine and a meta-prover. Metacomputation, term rewriting, partial evaluation, all three Futamura projections -- each measured against Turchin's own papers.

GitHub repository with 5 stars and 0 forks.

Language: Rust

Topics: compiler, refal, rust, refal-5, formal-verification, partial-evaluation, program-transformation, self-hosting, supercompilation, term-rewriting

Open provider repository

24h trend summary

Trending score 0.07, freshness score 0.36, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-02: 5 stars and 0 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,215 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,819 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,864 stars and 21,003 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,693 stars and 211 forks.

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

    Language: Rust

    Topics: ai-cli, ai-terminal, claude-code, codex, conpty, developer-tools

  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