Popular repositories Loading

1. sumiilab-tex sumiilab-tex Public

   東北大学 住井研究室のステキな TeX ファイルたち

   TeX 36 13

2. type-infer type-infer Public

   A Formal Verification of Algorithm W

   Coq 17

3. Udon Udon Public

   A Hobby implementation of ML

   Standard ML 15

4. compelib compelib Public

   競プロ用ライブラリ

   OCaml 15

5. coq-dijkstra coq-dijkstra Public

   A Verified Implementation of Dijkstra's Algorithm

   Coq 13

6. Coq2SML Coq2SML Public

   OCaml 6