Stars
Browse starred repositories and topics
Sort: Recently starred
Sort options
Starred Repositories
-
Actor-based state management & orchestration for complex app logic.
-
A Coq library for Homotopy Type Theory
-
A textbook on informal homotopy type theory
-
👑 Functional WebGL
-
A vector field explorer
-
Rosie Pattern Language (RPL) and the Rosie Pattern Engine have MOVED!
-
An animation library for LÖVE
-
-
Free Lossless Image Format
-
💫 Industrial-strength Natural Language Processing (NLP) in Python