Pinned

1. iter-zig iter-zig Public

   A basic iterator library written in Zig

   Zig 8 3

2. sha3_sml sha3_sml Public

   An implementation SHA3 algorithm in full StandardML

   Standard ML 1

3. aobench_sml aobench_sml Public

   porting aobench to various StandardML implementations.

   Standard ML 1 2

4. z3sml z3sml Public

   Z3 binding library for StandardML

   Standard ML 2

5. basic_iter.py basic_iter.py Public

   Basic functions on sequcences for Python

   Python

6. coq-refman-ja coq-refman-ja Public

   Coq reference manual (Japanese Translation)

   Makefile