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/sorock
A Multi-Raft implementation in Rust language.
akiradeveloper/dm-writeboost
Log-structured Caching for Linux
akiradeveloper/norpc
Blazingly fast framework for in-process microservices on top of Tower ecosystem
akiradeveloper/dm-writeboost-tools
Nice tools for dm-writeboost. Written in Rust
akiradeveloper/phi-detector
Implementation of Phi Accrual Failure Detector!
akiradeveloper/csplib
Implementation of CSP for concurrent programming.
akiradeveloper/azbuse
Block device in userspace.
akiradeveloper/procon-input-compiler
Parsing the competitive programming input lightning fast.
akiradeveloper/device-mapper-tests
Testing device-mapper targets. Rust! Rust! Rust!
akiradeveloper/bitbank-api-rs
Rust library for bitbank API
akiradeveloper/sorock-monitor
Monitoring the Raft cluster state.
akiradeveloper/akiradeveloper
akiradeveloper/bitbank-api-docs
Official Documentation for the bitbank.cc APIs and Streams
akiradeveloper/fp-lean-ja
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます
akiradeveloper/jsonwebtoken
JWT lib in rust
akiradeveloper/kvs-perf-evaluation
akiradeveloper/loltest-log-experiment
akiradeveloper/microservice-pattern
Advocation of in-process microservice pattern
akiradeveloper/nbd
akiradeveloper/neo4j-experiment
akiradeveloper/procon-input
akiradeveloper/proconlib
akiradeveloper/redb-backend
akiradeveloper/redb-bench
akiradeveloper/slack-webhook
akiradeveloper/snafu
Easily assign underlying errors into domain-specific errors while adding context
akiradeveloper/tonic-hyper10-debug
akiradeveloper/tower-jwt
Tower middleware to handle and parse JWTs on incoming requests
akiradeveloper/visibility-experiment
akiradeveloper/xrpl-sdk-rust
A Rust SDK for working with the XRP Ledger