Tiago Campos

[email protected]

UFVJM - Universidade do Vale do Jequitinhonha e Mucuri. Belo Horizonte - MG Trying a new way to do the same thing

Results 2 repositories owned by


                                            Tiago Campos

Kei

131

Stars

3

Forks

Watchers

A small and expressive dependently typed language

PomPom-Language

193

Stars

6

Forks

Watchers

The cuteness implementation of a dependently typed language.