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/macro-of-inline
A C-preprocessor to translate functions to equivalent macros
akiradeveloper/akka-s3
Filesystem backed S3-compatible storage in Scala/Akka-Http
akiradeveloper/mal
mal - Make a Lisp (Elixir work)
akiradeveloper/msgpack-rpc-nim
MessagePack-RPC implementation for Nim
akiradeveloper/rake-elixir
Implementing Rake clone in Elixir
akiradeveloper/computer-go
Play-Go in OCaml
akiradeveloper/elixir-attic
My playground for Elixir language
akiradeveloper/haskell-is-fun
akiradeveloper/nim-is-fun
akiradeveloper/perflex
Flexible framework for benchmarks
akiradeveloper/aws-sdk-java
Official mirror of the AWS SDK for Java. For more information on the AWS SDK for Java, see our web site:
akiradeveloper/device-mapper-test-suite
Test suite for device mapper targets
akiradeveloper/elixir-is-fun
akiradeveloper/go-board-scala
akiradeveloper/leofs
LeoFS is an unstructured object/data storage for the Web and a highly available, distributed, eventually consistent storage system.
akiradeveloper/linux
writeboost works
akiradeveloper/linux-2.6
thin-provisioning and cache work
akiradeveloper/lvm2
working branch for writeboost
akiradeveloper/mc
Minio Client for filesystem and cloud storage
akiradeveloper/mio
Mirror IO test tool
akiradeveloper/msgpack-haskell
Haskell implementation of MessagePack / msgpack.org[Haskell]
akiradeveloper/ninja
Ninja on Ruby
akiradeveloper/ocaml-coreutils
akiradeveloper/packages
List of packages for nimble
akiradeveloper/pycparser
Complete C99 parser in pure Python
akiradeveloper/rust-is-fun
akiradeveloper/scala-is-fun
akiradeveloper/sgf-scala
Simple Game Format parser in Scala
akiradeveloper/test-gpl-v2
akiradeveloper/xdrgen
Haskell library for parsing XDR (http://www.faqs.org/rfcs/rfc1832.html), plus code generators.