kmiya/software_foundations
Some solutions of exercises of Software Foundations in Coq
Developer Profile
kmiya
Discovered public repositories for kmiya in the GitHub catalog.
kmiya/Needleman-Wunsch
Naive implementation of the Needleman-Wunsch algorithm
kmiya/proj-tran
Simple projective transformation tool using Gaussian elimination to obtain a homography matrix
kmiya/iir
A tiny tool which computes characteristics of IIR filter
kmiya/code-study
Public repository.
kmiya/contest
competitive programming
kmiya/vsp-web
VSP's web pages
kmiya/project-euler
Solutions written in Python, Ruby, Haskell.
kmiya/emacs.d
Public repository.
kmiya/dotfiles
Public repository.
kmiya/Sequence
Chapter 5 of the black book