Mario Román

icon indicating a website link mroman42.github.io

icon location Oxford

Results 3 repositories owned by Mario Román

mikrokosmos

70
Stars
7
Forks
Watchers

(λ) Educational lambda calculus interpreter

verified publisher icon mroman42

ctlc

32
Stars
3
Forks
Watchers

(λ) Category theory and lambda calculus, Bachelor's thesis

verified publisher icon mroman42

plantillas

22
Stars
5
Forks
Watchers

Recopilación de plantillas de Latex. Más en: https://github.com/mroman42/templates

verified publisher icon mroman42