Pinned Repositories
abst_refinement
angular_trial
Logs of the tutorial on https://angular.io/tutorial
ara_star
automan
bits
cfta
concrete finite tree automata
DirectedGraph
KeitaTakenouchi's Repositories
KeitaTakenouchi/abst_refinement
KeitaTakenouchi/angular_trial
Logs of the tutorial on https://angular.io/tutorial
KeitaTakenouchi/ara_star
KeitaTakenouchi/automan
KeitaTakenouchi/bits
KeitaTakenouchi/cfta
concrete finite tree automata
KeitaTakenouchi/DirectedGraph
KeitaTakenouchi/express_trial
KeitaTakenouchi/GFPA
Graphs for Program Analysis.
KeitaTakenouchi/go_data_structure
KeitaTakenouchi/go_routine_trial
KeitaTakenouchi/go_sa
KeitaTakenouchi/go_web_server_trial
KeitaTakenouchi/gradle_toy
KeitaTakenouchi/grammars
KeitaTakenouchi/grpc.io
Repository for the gRPC website and documentation
KeitaTakenouchi/jinmei_sagashi
KeitaTakenouchi/LanguageProcessing
KeitaTakenouchi/mitra
KeitaTakenouchi/NN_Study
KeitaTakenouchi/node_crawler
KeitaTakenouchi/Parsing
KeitaTakenouchi/rust_study
KeitaTakenouchi/rust_table
KeitaTakenouchi/SimpleStaticPage
trivial static contents
KeitaTakenouchi/spring_boot_rest_trial
KeitaTakenouchi/sygus-kotlin
KeitaTakenouchi/traveling
KeitaTakenouchi/tree_kotlin
KeitaTakenouchi/vis_trial