Sun Yihao (@StarGazerM)
github

StarGazerM

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    19
  • Global Rank 661,842 (Top 23 %)
  • Followers 35
  • Following 16
  • Registered over 10 years ago
  • Most used languages
    Java
         33.3 %
    Racket
         33.3 %
    Emacs Lisp
         16.7 %
    Coq     16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 115,657
  • Country Ranking
    Racket
         118
    Coq     212
    Emacs Lisp
         2,690

Top repositories

1

ppa-in-code

some my implementation of content in PPA
Racket
14
star
2

my-foolish-code

(some-foolish-code (Flower Q) my-brain)
Coq
1
star
3

souffle-layer

Emacs Lisp
1
star
4

ANTLR-Lua

Java
1
star
5

jindex

cse687 course work
Java
1
star
6

program-proof

some code note on book "program= proof" but not in OCAML ==.
Racket
1
star