Pinned Repositories
gecode
Generic Constraint Development Environment
advent-of-code-2021
advent-of-code-2022
Solutions to Advent of Code 2022 problems
cp-2019-nmbr9
cp-mod-ref-2019-patchwork
half-checking-propagators
Half-checking propagators paper and code
minizinc-pentominoes-generator
Generator program for MiniZinc models for pentominoes-like placement problems
zayenz's Repositories
zayenz/advent-of-code-2022
Solutions to Advent of Code 2022 problems
zayenz/cp-mod-ref-2019-patchwork
zayenz/advent-of-code-2021
zayenz/cp-2019-nmbr9
zayenz/half-checking-propagators
Half-checking propagators paper and code
zayenz/minizinc-pentominoes-generator
Generator program for MiniZinc models for pentominoes-like placement problems
zayenz/advent-of-code-2016
Solutions to Advent of Code 2016 (http://adventofcode.com/2016)
zayenz/advent-of-code-2017
Solutions to Advent of Code 2017 (http://adventofcode.com/2017)
zayenz/advent-of-code-2018
Solutions to Advent of Code 2018 (http://adventofcode.com/2018)
zayenz/advent-of-code-2019
zayenz/advent-of-code-2020
zayenz/caddy
Fast, cross-platform HTTP/2 web server with automatic HTTPS
zayenz/fall
zayenz/flatzinc
A parser for the FlatZinc modelling language
zayenz/funty
Trait generalization of the fundamental types
zayenz/gecode
Generic Constraint Development Environment
zayenz/gecode-dexter
A possible improvement of the Gecode solver. Done for my master thesis.
zayenz/gecode.github.io
Gecode web pages
zayenz/gutenberg
A fast static site generator in a single binary with everything built-in.
zayenz/kdom
zayenz/libminizinc
The MiniZinc compiler
zayenz/ModRef.github.io
zayenz/MPG
Modeling and Programming with Gecode
zayenz/remix
Build Better Websites. Create modern, resilient user experiences with web fundamentals.
zayenz/remix-validated-form
Form component and utils for easy form validation in remix
zayenz/rugby-fantasy
zayenz/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
zayenz/rust-itertools
Extra iterator adaptors, iterator methods, free functions, and macros.
zayenz/templates
Some example templates in different branches
zayenz/zayenz
Config files for my GitHub profile.