dixego

Pinned Repositories

AdventOfCode2020-hs
Advent of Code 2020 solutions in Haskell
Language:Haskell00
AdventOfCode2022
Solutions for Advent of Code 2022
Language:Rust00
Annealing-TSP-Haskell
Simulated Annealing for TSP in Haskell
Language:Haskell00
annealing_redux
Recocido Simulado part two
Language:Rust01
examples
gtk-rs examples
Language:Rust00
genetic_algorithms
Genetic algorithm implementation for Closest String Problem
Language:Rust00
http_server
Mini servidor http en Elixir usando gen_tcp.
Language:Elixir0 1 00
k-coloring-z3py
A toy example of using Z3Py for k-coloring graphs
Language:Python00
Notas-ICC-2020-2
Notas para el curso de ICC semestre 2020-2
0 1 00
proyectoLC
Proyecto final de Lógica Computacional
Language:Haskell00

dixego's Repositories

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