owo-lang / Mini-TT

Documented version of a simple type-theoretic language: Mini-TT

owo-lang/Mini-TT Stargazers

Anton Trunov
anton-trunov
beike-zh
kirraObj
CziSKY
Gr3yD0g
D4rkD0g
Lîm Tsú-thuàn
dannypsnl
Andrejs Agejevs
esneko
Yuki Okushi
JohnTitor
Medson Oliveira
medson10
Raptazure
raptazure
Risto Stevcev
Risto-Stevcev
Sora Morimoto
smorimoto
timothy
timothyklim
Tim Kersey
tkersey
Val Redchenko
vredchenko
Vasiliy Yorkin
vyorkin
Ilmari Vacklin
wolverian

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.