Haruka Kawamura's repositories
CoqLibrary
Coqで様々な数学の定理を証明
KaisekinyuumonnSugiura
杉浦の解析入門の問題を解いたものを公開していく予定です。
CauchyRealCoq
Compose real number in Coq
Language:C++000
functional-workflow
Functional testing for workflow
000
Language:C000
node-resque
Node.js Background jobs backed by redis.
Language:TypeScriptApache-2.0000
request
Wrapper around got pkg to define a simple interface for http requests
Language:JavaScriptNOASSERTION000
scm-github
Github implementation of the scm-base class
NOASSERTION000
screwdriver
An open source build platform designed for continuous delivery.
Language:JavaScriptNOASSERTION000
screwdriver-test
test screwdriver
000