sunaemon's repositories
arch-diff-backup
Take diff between the pacman packages and the filesystem.
buildx
Docker CLI plugin for extended build capabilities with BuildKit
Language:GoApache-2.0000
chainer
A flexible framework of neural networks for deep learning
Language:PythonMIT000
000
coquille
Interactive theorem proving with Coq in vim.
Language:Vim ScriptISC000
cpplint
Static code checker for C++
Language:PythonNOASSERTION000
DBow3
Improved version of DBow2
Language:C++NOASSERTION000
dso
Direct Sparse Odometry
Language:C++GPL-3.0000
Language:CGPL-2.0000
git-lfs
Git extension for versioning large files
Language:GoMIT000
Language:RustMIT000
Language:C++Zlib000
nanoflann
nanoflann: a C++11 header-only library for Nearest Neighbor (NN) search with KD-trees
Language:C++NOASSERTION000
SATySFi
A statically-typed, functional typesetting system
Language:OCamlLGPL-3.0000
Language:JavaScriptMIT000
starlark-rust
A Rust implementation of the Starlark language
Language:RustApache-2.0000
sucheme
sunaemon's scheme
Language:C++NOASSERTION000