Xuan Bi (@bixuanzju)
github

bixuanzju

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    69
  • Global Rank 271,735 (Top 10 %)
  • Followers 82
  • Following 229
  • Registered over 12 years ago
  • Most used languages
    Coq     21.4 %
    Haskell
         21.4 %
    Idris     14.3 %
    Emacs Lisp
         14.3 %
    Agda     14.3 %
    TeX
         14.3 %
  • Location πŸ‡­πŸ‡° Hong Kong
  • Country Total Rank 798
  • Country Ranking
    Agda     1
    Idris     2
    Coq     3
    Emacs Lisp
         5
    Haskell
         7
    TeX
         36

Top repositories

1

emacs.d

My personal emacs configuration
Emacs Lisp
26
star
2

sicp-exercises-elisp

Exercises from the book SICP using Elisp
Emacs Lisp
13
star
3

papers-phd

Being archives for papers/projects I've worked on in my PhD studies.
TeX
5
star
4

ESOP2019-artifact

Distributive Disjoint Polymorphism for Compositional Programming
Coq
5
star
5

PhD-thesis

TeX
4
star
6

phd-thesis-artifact

Coq
3
star
7

FunImpl

Haskell
2
star
8

agda-tutorial

Exercises from "Dependently Typed Programming in Agda"
Agda
2
star
9

first-class-trait

Type system for first-class traits
Haskell
2
star
10

dependent_typed

From Simply Typed Lambda Calculus to Dependently Typed Lambda Calculus
Haskell
2
star
11

nested-composition

The Essence of Nested Composition
Coq
1
star
12

category-agda

Being my Agda exercise of learning category theory.
Agda
1
star
13

demo-code

demo code for Idirs meetup
Idris
1
star
14

solutions-tddi

Being the solutions to the exercises contained in the book "Type-Driven Development with Idris"
Idris
1
star