Giters
Andras Gyömrey (lgandras)

lgandras

Geek Repo

11

followers

1

following

4

stars

Github PK Tool:Github PK Tool

Andras Gyömrey's starred repositories

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2066Issues:0Issues:0

ci4251-Gyomrey-Martinez-2

Language:HaskellStargazers:1Issues:0Issues:0

ci4251-Gyomrey-Martinez-1

Language:HaskellStargazers:1Issues:0Issues:0

ci4721-Fernandez-Gyomrey

Proyecto de la Cadena de lenguajes

Language:C++Stargazers:7Issues:0Issues:0