Akira Kawata

sloader. sloader is an ELF loader which aims to replace ld-linux.so of glibc.

jendeley. jendeley is a JSON-based document organizing software.

straceprof. TypeScript

ros3fs. ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.

hml. ML language compiler

formalized-egison. Coq

ml2wasm. WebAssembly

ps2024. C

akawashiro.github.io. HTML

z3shape. ONNX shape inference using Z3

xla2onnx. Python

minago. C

masters-thesis. TeX

haskellKalmanFilter. C

haskellEM. Haskell

haskellFilesystem. Haskell

akbench. C++

elfeditor. C++

raijit. C++

cropass. cropass is simple password manager written in Go. cropass works anywhere Go runs.

ELF2.jl. Julia

lispi. Haskell

lambdaMD-JFP. TeX