@juda
github

juda

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 83
  • Following 24
  • Registered almost 12 years ago
  • Most used languages
    Coq     40.0 %
    HTML
         40.0 %
    Python
         20.0 %
  • Location πŸ‡­πŸ‡° Hong Kong
  • Country Total Rank 1,816
  • Country Ranking
    Coq     2
    HTML
         193
    Python
         1,406

Top repositories

1

Recursive-Subtyping-for-All

The artifact of the paper "Recursive Subtyping for All"
Coq
8
star
2

Iso-Recursive-Subtyping

Revisiting Iso-Recursive Subtyping
HTML
3
star
3

dissertation-artifacts

The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"
Coq
2
star
4

scheme

Implement a scheme Interpretation
Python
2
star
5

juda.github.io

HTML
1
star