Pinned Repositories
algorithm_spec
TLA+ (& PlusCal) practice
argocd_practice
calculator
parse and evaluate formula.
chfs-containers
chibicc
a toy C compiler written in golang
circular_buffer
Lock-free Circular Buffer for single-consumer and single-producer.
DFT_IDFT_App
raft
Raft implementation which depends on Mochi Project and Symas LMDB
redux-land
intuitive middleware for redux.
yjs-react-example
KoyamaSohei's Repositories
KoyamaSohei/chibicc
a toy C compiler written in golang
KoyamaSohei/redux-land
intuitive middleware for redux.
KoyamaSohei/algorithm_spec
TLA+ (& PlusCal) practice
KoyamaSohei/calculator
parse and evaluate formula.
KoyamaSohei/chfs-containers
KoyamaSohei/circular_buffer
Lock-free Circular Buffer for single-consumer and single-producer.
KoyamaSohei/raft
Raft implementation which depends on Mochi Project and Symas LMDB
KoyamaSohei/control-engineering
KoyamaSohei/dgl
Python package built to ease deep learning on graph, on top of existing DL frameworks.
KoyamaSohei/distributed
A distributed task scheduler for Dask
KoyamaSohei/etcd
Distributed reliable key-value store for the most critical data of a distributed system
KoyamaSohei/filesystem_spec
A specification that python filesystems should adhere to.
KoyamaSohei/frustrated-dns-proxy
100 line or less dns proxy, without dns cache.
KoyamaSohei/hello-lua
KoyamaSohei/htop
KoyamaSohei/huffman-coding
huffman encoding / decoding tool
KoyamaSohei/mememo
Collaborative markdown editor
KoyamaSohei/mercury
Mercury is a C library for implementing RPC, optimized for HPC.
KoyamaSohei/mochi-container
Mochi-Margo docker containers to develop distributed systems
KoyamaSohei/mochi-margo
Argobots bindings for the Mercury RPC library
KoyamaSohei/optuna
A hyperparameter optimization framework
KoyamaSohei/sc21-dl-tutorial
Material for the SC21 Deep Learning at Scale Tutorial
KoyamaSohei/self-balancing-binary-serach-tree
KoyamaSohei/spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
KoyamaSohei/spark-website
Apache Spark Website
KoyamaSohei/special-seminar-ops
情報特別演習の成果物
KoyamaSohei/systemd
The systemd System and Service Manager
KoyamaSohei/tsp
主専攻実験(春) S-3
KoyamaSohei/ugit
KoyamaSohei/website
Kubernetes website and documentation repo: