sunaemon

Interest in: C++, Rust, JavaScript https://atcoder.jp/user/sunaemon

Tokyo

Pinned Repositories

arch-diff-backup
Take diff between the pacman packages and the filesystem.
Language:Python2 0 01

sunaemon's Repositories

sunaemon/arch-diff-backup
Take diff between the pacman packages and the filesystem.
Language:Python2 0 01
sunaemon/arch-diff
Language:Rust1 0
sunaemon/buildx
Docker CLI plugin for extended build capabilities with BuildKit
Language:Go0 0
sunaemon/chainer
A flexible framework of neural networks for deep learning
Language:Python0 0
sunaemon/coq_drafts
0 0
sunaemon/coquille
Interactive theorem proving with Coq in vim.
Language:Vim script0 0
sunaemon/cpplint
Static code checker for C++
Language:Python0 0
sunaemon/DBow3
Improved version of DBow2
Language:C++0 0
sunaemon/dso
Direct Sparse Odometry
Language:C++0 0
sunaemon/gcc
Language:C0 0
sunaemon/git-lfs
Git extension for versioning large files
Language:Go0 0
sunaemon/kifu-analysis
Language:Rust0 0
sunaemon/LLGI
Language:C++0 0
sunaemon/nanoflann
nanoflann: a C++11 header-only library for Nearest Neighbor (NN) search with KD-trees
Language:C++0 0
sunaemon/SATySFi
A statically-typed, functional typesetting system
Language:OCaml0 0
sunaemon/sigboost-frontend
Language:JavaScript0 0
sunaemon/starlark-rust
A Rust implementation of the Starlark language
Language:Rust0 0
sunaemon/sucheme
sunaemon's scheme
Language:C++0 0
sunaemon/sunaemon.github.io
0 0
sunaemon/testtest
1 0