Popular repositories Loading

1. generic-lr generic-lr Public

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

   Agda 21 1

2. quantitative quantitative Public

   TeX 16 1

3. bridge-go bridge-go Public

   An implementation of Go variant Bridge Go. See http://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. lin-env lin-env Public

   Experiments in linear natural deduction

   Agda 2