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