Stars
A modern commutative diagram editor for the web.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Quantomatic is a tool for doing automated graph rewriting.
A Lightweight and fully asynchronous WebSocket client library based on libev
Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-modu…
Official MINIX sources - Automatically replicated from gerrit.minix3.org