mariovagomarzal

Math student at the University of Valencia.

Gandía, Valencia

Pinned Repositories

alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Language:HTML00
bh-testing
An Schwartzschild black hole image generator
Language:GLSL0 0 00
cdgtools
A Python module for studying curves, surfaces and other concepts from Classical Differential Geometry.
1 1 00
cookiecutter-dotfiles
A Cookiecutter template to easily create a dotfiles repository
Language:Shell10
cookiecutter-template
A Cookiecutter template to create Cookiecutter templates
Language:Python1 1 00
customtex
A CLI utility for setting up LaTeX projects.
Language:Python1 1 00
dotbot-brew
A dotbot plugin for installing packages and casks with Homebrew.
Language:Python0 1 00
dotfiles
Mario's dotfiles repository.
Language:Shell01
latex-napkin
A Cookiecutter template for LaTeX projects with a custom style.
Language:Python1 1 00

mariovagomarzal/cdgtools
A Python module for studying curves, surfaces and other concepts from Classical Differential Geometry.
1 1 00
mariovagomarzal/cookiecutter-dotfiles
A Cookiecutter template to easily create a dotfiles repository
Language:Shell10
mariovagomarzal/cookiecutter-template
A Cookiecutter template to create Cookiecutter templates
Language:Python1 1 00
mariovagomarzal/customtex
A CLI utility for setting up LaTeX projects.
Language:Python1 1 00
mariovagomarzal/latex-napkin
A Cookiecutter template for LaTeX projects with a custom style.
Language:Python1 1 00
mariovagomarzal/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Language:HTML00
mariovagomarzal/bh-testing
An Schwartzschild black hole image generator
Language:GLSL0 0 00
mariovagomarzal/dotbot-brew
A dotbot plugin for installing packages and casks with Homebrew.
Language:Python0 1 00
mariovagomarzal/dotfiles
Mario's dotfiles repository.
Language:Shell01
mariovagomarzal/mariovagomarzal
Config files for my GitHub profile.
mariovagomarzal/smooth
A smooth template for Typst projects.