Popular repositories Loading

1. generic-lr generic-lr Public

   AACMM's generic-syntax, but with QTT-style annotations

   Agda 20 1

2. quantitative quantitative Public

   TeX 16 1

3. bridge-go bridge-go Public

   An implementation of Go variant Bridge Go. See https://senseis.xmp.net/?BridgeGo .

   Haskell 2

4. cst2-project cst2-project Public

   Haskell 2

5. onajiyou onajiyou Public

   use kanji to find kanji

   Haskell 2

6. agda-practice agda-practice Public

   Agda 1