Discover @StarGazerM Open Source projects

Sun Yihao (@StarGazerM)

StarGazerM

Stars
19
Global Rank 650,310 (Top 23 %)
Followers 35
Following 16
Registered almost 10 years ago
Most used languages

Java
33.3 %

Racket
33.3 %

Coq 16.7 %

Emacs Lisp
16.7 %
Location 🇺🇸 United States
Country Total Rank 115,657
Country Ranking

Racket
119

Coq 203

Emacs Lisp
1,919

ppa-in-code

some my implementation of content in PPA

ANTLR-Lua

program-proof

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

souffle-layer

jindex

cse687 course work

my-foolish-code

(some-foolish-code (Flower Q) my-brain)