Discover @keisrk Open Source projects

Kei Shirakizawa (@keisrk)

keisrk

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

Scheme
20.0 %

Python
20.0 %

JavaScript
20.0 %

C++
20.0 %

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

Scheme
10

Shell
717

C++
786

JavaScript
1,277

Python
1,831

mason_bricks

automatic

Automatic FOL Prover

morning_routine

My morning routine

quickps

Paper.js compiled with QuickJS

doxml

Parser for docutils' internal XML