Diego Rosario's repositories
upc-invaders
archivos de ejemplos para desarrollar el trabajo final de programacion
rusted-breakout
a rust port of my c++ , ncurses version of breakout
Adversarial-sudoku
sudoku variant written in python
EC-lab
EC desarrollo Basado en Plataformas ?
Language:Vue000
Language:Rust000
idris-learning
trying to make sense of an experimental language
exposicion-dbp
exposicion
idris2-sinter
update sinter backend to work with the current idris backend
Language:IdrisNOASSERTION000
mogan
Mogan Editor / 墨干编辑器
Language:TclGPL-3.0000
oh-my-math
A standalone typst-style math render library
Language:IdrisMIT000
overgrowth
updating overgrowth libraries and c++ version experiment
Language:C++Apache-2.0000
Language:Vue000
Language:C++000
proyecto-battleship-estructurascontinuas
proyecto-battleship-estructurascontinuas created by GitHub Classroom
Language:C++000
simulador_contagio
simulador de contagio en una ciudad
teoria-de-la-computacion
proyecto del curso
unidad-6-semana-13---heap-hash-arboles-y-grafos-diegor8
unidad-6-semana-13---heap-hash-arboles-y-grafos-diegor8 created by GitHub Classroom
Language:C++000
wg21
C++ committee papers
Language:Makefile000