Jip J. Dekker Dekker1
0 Followers · 0 Following
Repositories
24
 Projects Packages Public Activity Starred Repositories
Filter
Sort
dotfiles
Nix 0 0
The general configuration of my development environment.
Updated 2025-03-19 11:11:27 +00:00
rust-organizer
Rust 0 0
Tool to organize the order of rust source files
Updated 2025-03-06 06:24:32 +00:00
zed-minizinc
0 0
MiniZinc language support for Zed
minizinc zed
Updated 2025-03-06 06:17:00 +00:00
tree-sitter-minizinc Archived
JavaScript 0 0
MiniZinc grammar for tree-sitter
Updated 2025-03-06 06:13:02 +00:00
iro-mzn Archived
0 0
Generate MiniZinc syntax highlighters
Updated 2025-03-06 06:03:26 +00:00
dlmo-model Archived
Python 0 0
Updated 2025-03-06 05:51:42 +00:00
dekker-phd-thesis Archived
TeX 0 0
Jip Dekker's PhD Thesis
Updated 2025-03-06 05:48:42 +00:00
bytecode-benchmarks Archived
C++ 0 0
A set of benchmarks to compare a new prototype MiniZinc implementation
Updated 2025-03-06 05:45:41 +00:00
on-restart-benchmarks Archived
C++ 0 0
Updated 2025-03-06 05:44:41 +00:00
half-reif-benchmarks Archived
C++ 0 0
The models, scripts, and results of the benchmarks performed for the Half Reification Journal paper
Updated 2025-03-06 05:43:36 +00:00
mzn-byte-benchmarks Archived
Python 0 0
Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
Updated 2025-03-06 05:16:52 +00:00
ResearchMethods Archived
Jupyter Notebook 0 0
Updated 2025-03-06 05:14:19 +00:00
language-mzn Archived
CSON 0 0
Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
Updated 2025-03-06 04:21:24 +00:00
FIT1047-crypt Archived
HTML 0 0
Tiny tool to do monoalphabetic substitution
Updated 2025-03-06 04:20:59 +00:00
MiniZinc-Auto-Tabling-Models Archived
0 0
Models using an intrinsic auto-tabling mechanism in MiniZinc.
minzinc
Updated 2025-03-03 11:39:25 +00:00