KeitaTakenouchi

followers

following

stars

Osaka University

Takenouchi Keita's repositories

abst_refinement

000

angular_trial

Logs of the tutorial on https://angular.io/tutorial

Language:TypeScript000

ara_star

Language:Jupyter Notebook000

automan

Language:Kotlin000

bits

Language:Rust000

cfta

concrete finite tree automata

Language:Go000

DirectedGraph

Language:TypeScript000

express_trial

Language:HTML000

GFPA

Graphs for Program Analysis.

Language:JavaGPL-2.0000

go_data_structure

Language:Go000

go_routine_trial

Language:Go000

go_sa

Language:Go000

go_web_server_trial

000

gradle_toy

Language:Shell000

grammars

Language:Go000

grpc.io

Repository for the gRPC website and documentation

Language:HTMLApache-2.0000

jinmei_sagashi

Language:JavaScript000

LanguageProcessing

Language:TypeScript000

mitra

Language:Kotlin000

NN_Study

Language:Python000

node_crawler

Language:TypeScript000

Parsing

Language:Java000

rust_study

000

rust_table

Language:Rust000

SimpleStaticPage

trivial static contents

Language:HTML000

spring_boot_rest_trial

Language:Java000

sygus-kotlin

Language:Slash000

traveling

Language:Go000

tree_kotlin

000

vis_trial

Language:HTML000