Starred repositories
Miso is a modular, isomorphic musical keyboard designed to make exploring alternative tuning systems and microtonality more accessible.
4
Updated Apr 27, 2026
Download the beta here : https://github.com/surge-synthesizer/shortcircuit-xt/releases/tag/Nightly
A verifier for automated and interactive proofs about transition systems.
A proof assistant for higher-dimensional type theory
Lean 4 port of Iris, a higher-order concurrent separation logic framework
The all-in-one RWKV runtime box with embed, RAG, AI agents, and more.
Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
Running large language models on a single GPU for throughput-oriented scenarios.
Stable Diffusion web UI
All of the Civitai models inside Automatic 1111 Stable Diffusion Web UI
Understanding Deep Learning - Simon J.D. Prince
RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable). We are at RWKV-7 "Goose". So it's combining the best of RN…
A Git-compatible VCS that is both simple and powerful
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.