Benyamin Galeano's repositories
pintos-vscode
vscode extension for PintOS project
pintos-checker
Github action for PintOS project
pintos-tuto
This repository is an example template for the PintOS project using some utilities that I've developed (original 2021-05-29)
pintos-utils
docs for pintos utils
AWA_2020_MongoDB
Ejemplo de un webservice con MongoDB
Language:JavaScript000
Language:TypeScriptMIT000
Language:Lua000
qmap
JSON manipulation engine
Language:TypeScriptMIT000
DefinitelyTyped
The repository for high quality TypeScript type definitions.
NOASSERTION000
Language:HTML000
git-cz
Semantic Git commits
Language:JavaScript000
000
pintos-checker-old
Evaluador para fases del sistema operativo.
Language:Dockerfile000
pintos-checker-result
Verifica resultados de las pruebas
Language:JavaScript000
pintos-slides
slides
MIT000
search_server
search engine for stackoverflow
Language:PHP000
sudoku
Sudoku game
Language:TypeScript000