Pinned Repositories
cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
models
Models and examples built with TensorFlow
Ruby_for_Erlang_Setup
Ruby_for_Erlang_Setup2
tanimocchi's Repositories
tanimocchi/cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
tanimocchi/models
Models and examples built with TensorFlow
tanimocchi/Ruby_for_Erlang_Setup
tanimocchi/Ruby_for_Erlang_Setup2