akiradeveloper
I am not looking for job right now because I want to be away from work for a while. Just learning Lean4 for fun.
Yokohama
Pinned Repositories
akashic-storage
Filey system backed S3-compatible storage in Scala/Akka-Http
azbuse
Block device in userspace.
dm-writeboost
Log-structured Caching for Linux
ijk
A real editor for real programmers
msgpack-nim
A MassagePack binding for Nim / msgpack.org[Nim]
nim-fuse
Nim library for Filesystem in userspace (FUSE)
procon-input-compiler
Parsing the competitive programming input lightning fast.
rubikmaster
Library for Rubik's cube applications.
sorock
A Multi-Raft implementation in Rust language.
sorock-monitor
Monitoring the Raft cluster state.
akiradeveloper's Repositories
akiradeveloper/radikorec
A Simple Radiko/Radiru Recorder
akiradeveloper/HeiankyoView
A fast algorithm to visualize tree structures
akiradeveloper/blktrace
blktrace of my version
akiradeveloper/rake-elixir
Implementing Rake clone in Elixir
akiradeveloper/HeiankyoView-Go
HeiankyoView Go-rewrite on top goraph
akiradeveloper/android-samples
Google Play game services - Android samples
akiradeveloper/bcache-tools
bcache-tools, part of the bcache hybrid storage project (features, debian packaging)
akiradeveloper/chokudaiBook
akiradeveloper/coreutils
Cross-platform Rust rewrite of the GNU coreutils
akiradeveloper/cudanewbie
akiradeveloper/go-attic
akiradeveloper/go-coreutils
An attempt at a Go implementation of the GNU Coreutils.
akiradeveloper/goraph
graph visualization, algorithms
akiradeveloper/kefir
akiradeveloper/kozos
kozos is a tiny operating system running on tiny micro controller H8 by Haisyo Renesas
akiradeveloper/leofs
LeoFS is an unstructured object/data storage for the Web and a highly available, distributed, eventually consistent storage system.
akiradeveloper/linux-dm
akiradeveloper/mini-c-scala
mini-c implementation in Scala language
akiradeveloper/mini-printf
Minimal printf() implementation for embedded projects.
akiradeveloper/neovim
vim for the 21st century
akiradeveloper/nginx
Complete (unofficial) history of nginx releases
akiradeveloper/ocaml-attic
Interested in functional programming nowadays, yeah
akiradeveloper/rust-core
a lightweight standard library for rust with freestanding support (deprecated in favour of libcore upstream)
akiradeveloper/rust-split
Testing coreutils/split of Rust rewrite
akiradeveloper/rust-tsort
Testing tsort of Rust rewrite
akiradeveloper/scalafun
Playing fun with Scala language. Project template
akiradeveloper/thin-provisioning-tools
akiradeveloper/thin-test
Test program to see how dm-thin works
akiradeveloper/thrusting
akiradeveloper/util-linux
backup upstream repository