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