Diego Carrillo's repositories
k-coloring-z3py
A toy example of using Z3Py for k-coloring graphs
Language:Python000
AdventOfCode2022
Solutions for Advent of Code 2022
Language:Rust000
tarea2VM
Tarea 2 de Verificación de Modelos 2021-2
Language:Haskell000
tarea1VM
Tarea 1 de Verificación de Modelos 2021-2
Language:Haskell000
proyectoLC
Proyecto final de Lógica Computacional
Language:Haskell000
AdventOfCode2020-hs
Advent of Code 2020 solutions in Haskell
Language:Haskell000
Annealing-TSP-Haskell
Simulated Annealing for TSP in Haskell
Language:Haskell000
zulip
Zulip server - powerful open source team chat
Apache-2.0000
Notas-ICC-2020-2
Notas para el curso de ICC semestre 2020-2
000
examples
gtk-rs examples
Language:RustMIT000
TramiCiencias
TramiCiencias
Language:Java000
http_server
Mini servidor http en Elixir usando gen_tcp.
Language:Elixir000
annealing_redux
Recocido Simulado part two
Language:Rust000
genetic_algorithms
Genetic algorithm implementation for Closest String Problem
Language:Rust000