TAG
the classic openbullet cookie edition ported to avalonia — loliscript engine, cookielists, runner, stacker debugger, hits db and a built-in mcp server. win + linux, no .net install needed
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
Nota — a free DAW for macOS, Windows and Linux. No subscription, no account — just open it and make music.
