Weixi Ma (@WeixiMa)
github

WeixiMa

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 542,735 (Top 19 %)
  • Followers 31
  • Registered about 9 years ago
  • Most used languages
    Racket
         60.0 %
    Agda     20.0 %
    TeX
         20.0 %

Top repositories

1

C311Sp20

Racket
16
star
2

MK2020

Racket
5
star
3

nominal-unification

Agda proofs of nominal unification with de Bruijn numbers
Agda
4
star
4

alphaKanren-revisited

A possibly faster implementation of alphaKanren, based on a special nominal unification algorithm and microKanren
Racket
2
star
5

UNIF2018

Paper for UNIF2018, http://unif2018.cic.unb.br/
TeX
1
star