Pinned Repositories
CauchyRealCoq
Compose real number in Coq
CoqHelper
Coqを使うときに役に立つツール
CoqLibrary
Coqで様々な数学の定理を証明
FastMultipoleMethod
FinanceTrackerJS
functional-workflow
Functional testing for workflow
HamiltonPathGame
KaisekinyuumonnSugiura
杉浦の解析入門の問題を解いたものを公開していく予定です。
node-resque
Node.js Background jobs backed by redis.
itleigns's Repositories
itleigns/CoqLibrary
Coqで様々な数学の定理を証明
itleigns/KaisekinyuumonnSugiura
杉浦の解析入門の問題を解いたものを公開していく予定です。
itleigns/CauchyRealCoq
Compose real number in Coq
itleigns/CoqHelper
Coqを使うときに役に立つツール
itleigns/FastMultipoleMethod
itleigns/FinanceTrackerJS
itleigns/functional-workflow
Functional testing for workflow
itleigns/HamiltonPathGame
itleigns/node-resque
Node.js Background jobs backed by redis.
itleigns/request
Wrapper around got pkg to define a simple interface for http requests
itleigns/scm-github
Github implementation of the scm-base class
itleigns/screwdriver
An open source build platform designed for continuous delivery.
itleigns/screwdriver-test
test screwdriver