Xu Xue (@juniorxxue)
github

juniorxxue

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    51
  • Global Rank 335,492 (Top 12 %)
  • Followers 86
  • Following 96
  • Registered about 7 years ago
  • Most used languages
    Emacs Lisp
         25.0 %
    Coq     25.0 %
    Agda     12.5 %
    Swift
         12.5 %
    Haskell
         12.5 %
    Racket
         12.5 %

Top repositories

1

xcode-theme

Xcode theme for Emacs
Emacs Lisp
15
star
2

emacs.d

Theorem Proving in Emacs
Emacs Lisp
11
star
3

learn-plt-redex

Resources for Learning PLT Redex
10
star
4

contextual-typing

Contextual Typing, formalised in Agda
Agda
8
star
5

applicative-intersection

Applicative Intersection Types
Coq
2
star
6

software-foundations

Solutions for Software Foundations
Coq
2
star
7

Codewars

Interesting Katas in Codewars
Haskell
1
star
8

racket-slides

Being a template of Racket slideshow
Racket
1
star
9

SketchyKlotski

Klotski Game for iOS
Swift
1
star