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/nim-fuse
Nim library for Filesystem in userspace (FUSE)
akiradeveloper/rubikmaster
Library for Rubik's cube applications.
akiradeveloper/rust-comp-snippets
Library for competitive programming in Rust.
akiradeveloper/MikanOS.rs
MikanOS in Rust :orange_book:
akiradeveloper/sorock-os
(WIP) So rocking distributed object storage.
akiradeveloper/ASURA
ASURA implementation in Rust. A better alternative of consistent-hashing.
akiradeveloper/benchman
It is not about Keanu Reeves but a benchmark tool.
akiradeveloper/git-download
Download a single file from a Git repository.
akiradeveloper/x86emu
Learning x86 assembly by implementing an emulator.
akiradeveloper/lol-perf
Improve lol's performance. No compromise.
akiradeveloper/vax-number
Vax number encoder
akiradeveloper/aim-optimizer
akiradeveloper/cfop-research
Research on CFOP method. The goal is to find a simpler PLL.
akiradeveloper/goban
Library for go move generation and go ruling.
akiradeveloper/io-uring
The `io_uring` library for Rust
akiradeveloper/lol-book
akiradeveloper/mdbook-epub
An experimental mdbook backend for creating EPUB documents.
akiradeveloper/omochabank
akiradeveloper/raft.github.io
website at https://raft.github.io
akiradeveloper/rel-generator
記事間の類似度を計算します。関連記事の計算に使えます。
akiradeveloper/rust-rocksdb
rust wrapper for rocksdb
akiradeveloper/sqlx
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, SQLite, and MSSQL.
akiradeveloper/sqlx-leak-repro
akiradeveloper/sss-rs
Rust bindings for my Shamir secret sharing library
akiradeveloper/stopwatch-rs
akiradeveloper/sync_wrapper
akiradeveloper/tarpc
An RPC framework for Rust with a focus on ease of use.
akiradeveloper/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
akiradeveloper/tonic
A native gRPC client & server implementation with async/await support.
akiradeveloper/zstd-rs
A rust binding for the zstd compression library.