Local LLVMs ollama pieces Microsoft LEAN vvvv Unison Language nix package manager / nix-darwin / nix OS DONE uiua Faust Programming Language Isabelle (TUM) Combinatory Logic nLab JellyBalls Combinator Birds Combinatory Logic Riichi Mahjong Lingo how to livecode music racket + 3d