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/ninja-rake
more ninja!
akiradeveloper/unite.vim
Ultimate interface to unite all sources
akiradeveloper/diskit
akiradeveloper/dm-repeat
A Linux device-mapper module helps testing your device-mapper module.
akiradeveloper/EndlessRuby
akiradeveloper/erbt
akiradeveloper/git-test
akiradeveloper/haskeller
Haskell Data.List and infinite list in Ruby.
akiradeveloper/iocheck
stdIO-based testing framework for arbitrary programming languages.
akiradeveloper/jedi
JEneric Data structure Interfaces
akiradeveloper/knowit
akiradeveloper/learn-me-a-haskell
become a Haskell programmer.
akiradeveloper/learn-me-a-ruby
examination on ruby syntax
akiradeveloper/procaine
akiradeveloper/project.vim
a clone of project.vim v1.4.1
akiradeveloper/Pure
A Vim Implementation in Haskell language.
akiradeveloper/requidef
akiradeveloper/Siritori
Siritori solver in Haskell
akiradeveloper/vim-debug
A plugin for VIM that creates an Integrated Debugging Environment :) Currently works with PHP and Python
akiradeveloper/vim-ruby
Vim/Ruby Configuration Files
akiradeveloper/desert.vim
desert colorscheme
akiradeveloper/dotify
A CLI Tool for managing your dotfiles.
akiradeveloper/dummy-vim-plugin
akiradeveloper/marks_corey
akiradeveloper/MaxQueue
akiradeveloper/vimproc
Interactive command execution in Vim.