Giters
Xiaohu Wang (XiaohuWang0921)

XiaohuWang0921

Geek Repo

0

followers

0

following

0

stars

Github PK Tool:Github PK Tool

Xiaohu Wang's repositories

johnstone

Language:CoqStargazers:1Issues:1Issues:0

agda-hott

Formalisation of HoTT in standard Agda

Language:AgdaStargazers:0Issues:1Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bf-interp-c

Language:CStargazers:0Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

logo

My personal logo

Stargazers:0Issues:1Issues:0

logtalk-xpce

Language:LogtalkLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mercury-json

Language:MercuryLicense:LGPL-3.0Stargazers:0Issues:0Issues:0