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/ijk
A real editor for real programmers
akiradeveloper/akashic-storage
Filey system backed S3-compatible storage in Scala/Akka-Http
akiradeveloper/msgpack-nim
A MassagePack binding for Nim / msgpack.org[Nim]
akiradeveloper/bphcuda
Boltzmann Particle Hydrodynamics on GPU
akiradeveloper/akashic-storage-wiki
clone of akashic-storage.wiki
akiradeveloper/writeboost-test-suite
Redesigning device-mapper-test-suite in Scala. Bring type-safety to dm tests
akiradeveloper/2048-model
akiradeveloper/algorithm
Implementation of various algorithms
akiradeveloper/beautifulhugo
Theme for the Hugo static website generator
akiradeveloper/cargo-snippet
A snippet extrator for competitive programmers
akiradeveloper/CoronaSim
A simulation on COVID-19 infection
akiradeveloper/dotfiles
akiradeveloper's ultimate dotfiles
akiradeveloper/etiles
akiradeveloper/finch
An idiomatic Scala version of finagle-http
akiradeveloper/hateblo2hugo
migration tool hatenablog to hugo
akiradeveloper/imutils
A series of convenience functions to make basic image processing operations such as translation, rotation, resizing, skeletonization, and displaying Matplotlib images easier with OpenCV and Python.
akiradeveloper/minimal
Personal blog theme powered by Hugo
akiradeveloper/mobile.g8
akiradeveloper/Murahachibu
A Twitter tool to segregate members of certain community
akiradeveloper/nfs-ganesha
NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
akiradeveloper/nim-skiplist
akiradeveloper/node-process
process information for node.js and browsers
akiradeveloper/oha
Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.
akiradeveloper/react-native-password-strength-checker
A react-native password input with strength checker for both IOS and Android
akiradeveloper/rust-by-example-ja
rust-by-exampleの和訳リポジトリ
akiradeveloper/skim
Fuzzy Finder in rust!
akiradeveloper/sri
akiradeveloper/takeda25-tweets
akiradeveloper/thrift
Mirror of Apache Thrift
akiradeveloper/universal