Discover @akawashiro Open Source projects

Akira Kawata (@akawashiro)

akawashiro

Stars
276
Global Rank 95,341 (Top 4 %)
Followers 49
Following 39
Registered over 11 years ago
Most used languages

Haskell
23.5 %

TeX
11.8 %

C
11.8 %

C++
11.8 %

Rust
5.9 %

TypeScript
5.9 %

Go
5.9 %

Julia
5.9 %

Coq 5.9 %

WebAssembly 5.9 %

Python
5.9 %
Location 🇯🇵 Japan
Country Total Rank 2,139
Country Ranking

WebAssembly 8

Coq 23

Haskell
107

Julia
135

C++
289

TypeScript
317

TeX
331

Rust
1,230

C
1,503

Go
2,818

Python
6,190

jendeley

jendeley is a JSON-based document organizing software.

sloader

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

hml

ML language compiler

formalized-egison

ml2wasm

z3shape

ONNX shape inference using Z3

xla2onnx

minago

haskellFilesystem

haskellKalmanFilter

haskellEM

lambdaMD-JFP

lispi

elfeditor

ELF2.jl

cropass

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

masters-thesis