Pinned Repositories
ai-agents
ai_hex_2021
ases_grades_report
Local plugin for retrieving a cohort's grades via a web service
client-server
cloudx-store-backend
incoterms
juppaal
Java API for working with UPPAAL model files
racket-snake
Proyecto final F.D.P
sgtfront
TraceMatcher
Compute traces inclusion using biased & random traces with UPPAAL models.
DavidC0rtes's Repositories
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/cloudx-store-backend
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/sige
DavidC0rtes/TraceMatcher
Compute traces inclusion using biased & random traces with UPPAAL models.
DavidC0rtes/evolutiva
Proyecto computación evolutiva
DavidC0rtes/fsopen
DavidC0rtes/fsopen-part3
DavidC0rtes/kddfinal
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/Resume-Matcher
Open Source Free ATS Tool to compare Resumes with Job Descriptions and create a score to rank them.
DavidC0rtes/rs-cart-api
DavidC0rtes/shop-react-redux-cloudfront
DavidC0rtes/stairsnsnakes
DavidC0rtes/stvr-muppaal
DavidC0rtes/tallerdevops
DavidC0rtes/UppaalMutants
Extension of UppalMutants to include mutations of NTA
DavidC0rtes/ventynet
DavidC0rtes/xv6-public
xv6 OS