Discover @keisrk Open Source projects

Kei Shirakizawa (@keisrk)

keisrk

Stars
6
Global Rank 1,294,539 (Top 45 %)
Followers 18
Following 18
Registered over 9 years ago
Most used languages

Python
20.0 %

JavaScript
20.0 %

Shell
20.0 %

C++
20.0 %

Scheme
20.0 %
Location 🇩🇰 Denmark
Country Total Rank 4,350
Country Ranking

Scheme
12

C++
605

Shell
619

JavaScript
1,496

Python
1,954

mason_bricks

automatic

Automatic FOL Prover

morning_routine

My morning routine

quickps

Paper.js compiled with QuickJS

doxml

Parser for docutils' internal XML