owo-bot's Stars
itsamewayu/OLFallenDoll
Overall repo for Operation Lovecraft: Fallen Doll by the Project Helius team.
owo-lang/intellij-dtlc
IntelliJ plugin for several experimental programming languages here
peterlefanulumsdaine/cartmell-thesis
HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
re-xyr/vuepress-theme-chronicle
Legible vuepress blog theme that resembles book-like reading experience.