Pinned Loading

1. the-mlab the-mlab Public

   A wiki for collaborative work on totally legitimate "category theory"

   Nearley 101 3

2. manufactoria-editor manufactoria-editor Public

   Forked from wkevina/manufractoria

   A manufactoria editor and verifier

   JavaScript 3 1

3. polyomino-solver polyomino-solver Public

   Solves tetromino and/or arbitrary polyomino fitting problems

   JavaScript 43 12

4. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 298

5. genki-db genki-db Public

   A small PWA for browsing/filtering vocabulary and kanji in Genki I and II

   Vue 25 6

6. oracles-randomizer-web oracles-randomizer-web Public

   Web interface for Oracles of Ages/Seasons randomizer (oracles-randomizer)

   JavaScript 2