digitable-lol/flang

A pure functional language written in words: a function carries its examples and postconditions, the compiler proves termination before anything runs and prints the checked program into C, C++, Go, Rust, Java, JavaScript, Elixir, Python or C#. Self-hosted; building it needs only cc and make.

GitHub repository with 6 stars and 1 forks.

Language: C

Topics: c99, category-theory, code-generation, compiler, dsl, executable-specification, formal-methods, formal-verification, functional-programming, multi-target

Open provider repository

24h trend summary

Trending score 0.10, freshness score 0.90, stars gained not enough history, forks gained not enough history.

Latest metric snapshot

2026-09-24: 6 stars and 1 forks.

Trending in C

  1. 1. vladelaina/BongoCat

    🩷 💘C × SDL3 × OpenGL — Three Mysterious Forces, United as One! Bong~ Bongocat!!!Don't be shy, Join Here🧸: https://discord.gg/vf8jqnattk

    GitHub repository with 2,743 stars and 60 forks.

    Trending score: 4.97; stars gained: +551; forks gained: +12.

    Language: C

    Topics: bongo-cat, bongocat, c, opengl, pet-project, sdl3

  2. 2. colbymchenry/codegraph

    Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, CoPilot, and Hermes Agent — fewer tokens, fewer tool calls, 100% local

    GitHub repository with 72,015 stars and 4,621 forks.

    Trending score: 4.47; stars gained: +205; forks gained: +11.

    Language: C

  3. 3. pbatard/rufus

    The Reliable USB Formatting Utility

    GitHub repository with 37,743 stars and 3,171 forks.

    Trending score: 3.23; stars gained: +29; forks gained: +2.

    Language: C

    Topics: bios, boot, bootable-drives, freedos, gpt, grub

  4. 4. DeusData/codebase-memory-mcp

    High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.

    GitHub repository with 44,806 stars and 3,656 forks.

    Trending score: 5.37; stars gained: +595; forks gained: +54.

    Language: C

    Topics: aider, ast, claude-code, code-analysis, code-intelligence, codex

  5. 5. rh1tech/frank-386

    Tiny386 port to RP2350

    GitHub repository with 203 stars and 7 forks.

    Trending score: 1.58; stars gained: +1; forks gained: +0.

    Language: C

  6. 6. sqlite/sqlite

    Official Git mirror of the SQLite source tree

    GitHub repository with 10,535 stars and 1,666 forks.

    Trending score: 2.65; stars gained: +9; forks gained: +2.

    Language: C