Yan Peng (@pennyan)
github

pennyan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 24
  • Following 93
  • Registered almost 10 years ago
  • Most used languages
    Common Lisp
         66.7 %
    MATLAB
         33.3 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 19,505
  • Country Ranking
    Common Lisp
         26
    MATLAB
         1,089

Top repositories

1

smtlink

Integrate the Smtlink solver Z3 into the theorem prover ACL2.
Common Lisp
7
star
2

DPLL

Global convergence of a digital Phase-Locked Loop.
Common Lisp
2
star
3

support-vector-regression

machine learning coding project
MATLAB
1
star