Pinned Loading

1. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.6k 924

2. chise/ids chise/ids Public

   Mirror of https://gitlab.chise.org/CHISE/ids

   Emacs Lisp 21 6

3. Jackchows/Cangjie5 Jackchows/Cangjie5 Public

   倉頡五代補完計劃

   Python 200 22

4. lean-ja/lean-by-example lean-ja/lean-by-example Public

   コード例で学ぶ Lean 言語

   Lean 135 13

5. eisoch/irg eisoch/irg Public

   irg

   30 1

6. IDS IDS Public

   Still yet another list of Ideographic Description Sequences