Starred repositories
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
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.
Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …
A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.
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.
A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.