lekkerplannen
FZnSO
Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
Rust
dekker.one
Personal website hosted at https://dekker.one
tree-sitter-minizinc
MiniZinc grammar for tree-sitter
C
1
dekker-phd-thesis
Jip Dekker's PhD Thesis
TeX
mzn-byte-benchmarks
Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
Python
monash-researchmethods
Group work for a Monash Research Methods course
atom-language-mzn
Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
monash-fit1047-crypt
Tiny tool to do monoalphabetic substitution
minizinc-auto-tabling-models
Models using an intrinsic auto-tabling mechanism in MiniZinc.
chronozinc
A small application used to run benchmarks on MiniZinc models and solvers
Go
atom-linter-mzn
Atom linter for MiniZinc
CoffeeScript
atom-minisuite
An Atom package that intends to bring the MiniZinc IDE experience to Atom!
CoffeeScript
ponder
A small application to manage Lilypond music repositories
Go
gastenboek
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd
Go
gobooklet
A small go program that converts pdf files to booklets
Go
Fourmi
A web scraper build to search specific information for a given compound (and its pseudonyms)
Python
TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
TeX
on-restart-benchmarks
iro-mzn
Use Iro to generate MiniZinc syntax highlighters
half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
dlmo-model
Python
bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
zed-minizinc
MiniZinc language support for Zed
rust-organizer
Tool to order the items constained in rust source files
Rust
dotfiles
The general configuration of my development environment and many other general computer things.
Nix
pocketbase-reqwest
A wrapper around reqwest to make working with Pocketbase a breeze
Rust
1