Sewon Park (@park-sewon)
github

park-sewon

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 915,881 (Top 32 %)
  • Followers 16
  • Following 11
  • Registered over 7 years ago
  • Most used languages
    Python
         50.0 %
    C++
         25.0 %
    Coq     25.0 %
  • Location πŸ‡―πŸ‡΅ Japan
  • Country Total Rank 15,378
  • Country Ranking
    Coq     30
    C++
         1,715
    Python
         4,964

Top repositories

1

iRRAM-Random

Module for randomly generated real numbers, complex numbers, matrices in iRRAM.
C++
6
star
2

coq-clerical

Coq formalization of Clerical
Coq
2
star
3

irram.sh

iRRAM Version and Package Manager
Python
2
star
4

website-tracker

short python program tracking website changes and notifies by sending email
Python
1
star