Pinned Repositories
ai-agents
ai_hex_2021
ases_grades_report
Local plugin for retrieving a cohort's grades via a web service
client-server
complejidad
Proyecto final Complejidad y Optimización
incoterms
juppaal
Java API for working with UPPAAL model files
racket-snake
Proyecto final F.D.P
sgtfront
SimmDiffUppaal
Compute traces inclusion using biased & random traces with UPPAAL models.
DavidC0rtes's Repositories
DavidC0rtes/racket-snake
Proyecto final F.D.P
DavidC0rtes/ai-agents
DavidC0rtes/ai_hex_2021
DavidC0rtes/ases_grades_report
Local plugin for retrieving a cohort's grades via a web service
DavidC0rtes/client-server
DavidC0rtes/complejidad
Proyecto final Complejidad y Optimización
DavidC0rtes/computer-graphics
DavidC0rtes/ds2
DavidC0rtes/incoterms
DavidC0rtes/juppaal
Java API for working with UPPAAL model files
DavidC0rtes/sgtfront
DavidC0rtes/SimmDiffUppaal
Compute traces inclusion using biased & random traces with UPPAAL models.
DavidC0rtes/dotfiles
DavidC0rtes/evolutiva
Proyecto computación evolutiva
DavidC0rtes/fada
DavidC0rtes/fsopen
DavidC0rtes/fsopen-part3
DavidC0rtes/kddfinal
DavidC0rtes/MineSweeper
Java Minesweeper game
DavidC0rtes/modify_moodle_database
This script contain PL/pgsql procedures for change data of production Moodle database for config test database
DavidC0rtes/mutant
A tool for the mutation of UPPAAL NTA
DavidC0rtes/ntamorphosis
Prototype CLI tool to perform MBMT between Networks of Timed Automata
DavidC0rtes/platformer-space
Proyecto final Computación Gráfica
DavidC0rtes/sige
DavidC0rtes/stairsnsnakes
DavidC0rtes/tallerdevops
DavidC0rtes/UppaalMutants
Extension of UppalMutants to include mutations of NTA
DavidC0rtes/ventynet
DavidC0rtes/xv6-public
xv6 OS