Pinned Loading

1. Naive implementation of the Needleman-Wunsch algorithm

   C++ 2 3

2. A tiny tool which computes characteristics of IIR filter

   C++

3. Some solutions of exercises of Software Foundations in Coq

   Coq

4. A modern LaTeX template for your doctoral dissertation or master's thesis of NAIST-IS.

   TeX 22 13

5. NAIST情報科学研究科向けのやや現代的な修士論文用LaTeXテンプレート

   TeX 40 10