Pinned Loading

1. qianmian qianmian Public

   千面空间

   CSS 1 1

2. idris2-tutorial-zh idris2-tutorial-zh Public

   Forked from stefan-hoeck/idris2-tutorial

   翻译idris2教程

   Idris 14 1

3. grass-emacs grass-emacs Public

   我的 emacs 配置

   Emacs Lisp 9 1

4. running-grass.github.io running-grass.github.io Public

   我的数字花园

   HTML 1

5. nur-packages nur-packages Public

   Nix

6. idris2-pact idris2-pact Public

   A type-safe Servant-like web framework

   Idris 3