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.

Official Homebrew tap for Digitable projects

Плагин asdf для языка flang: ставит выпущенный компилятор, из зависимостей — только cc и make

Раскладка терминального экрана на flang: полосы, обрезка по печатаемым ячейкам, укладка, вкладки, прокрутка. Печатается в Go и C.

Examples for a specification are taken from a program that runs, not written by hand: source instrumented in 8 languages emits a call trace, and the MCP server turns it into checkable examples

Обзор диска и системы на Linux: правила решаются ядром на flang, системные вызовы — хозяином на Go

Арифметика ленты окон на flang: смещения, ширина колонки, высота окна, вставка, панели. Перенесена из digitwm и сверена с ним побайтно на 526 871 входе. Печатается в C и в Go.

Скроллируемый тайлинг поверх cwm (ISC): лента колонок вместо стопки окон. Правила раскладки описаны на FTS.

Разбор значений окружения на flang: глубина цвета, язык, NO_COLOR. Чистые правила, чтение — за хозяином.