Repositories Users Organizations
Filter
Sort
Dekker1/ dotfiles
Nix 0 0
The general configuration of my development environment.
Updated 2025-03-19 11:11:27 +00:00
Dekker1/ rust-organizer
Rust 0 0
Tool to organize the order of rust source files
Updated 2025-03-06 06:24:32 +00:00
Dekker1/ zed-minizinc
0 0
MiniZinc language support for Zed
minizinc zed
Updated 2025-03-06 06:17:00 +00:00
Dekker1/ tree-sitter-minizinc Archived
JavaScript 0 0
MiniZinc grammar for tree-sitter
Updated 2025-03-06 06:13:02 +00:00
Dekker1/ iro-mzn Archived
0 0
Generate MiniZinc syntax highlighters
Updated 2025-03-06 06:03:26 +00:00
Dekker1/ dlmo-model Archived
Python 0 0
Updated 2025-03-06 05:51:42 +00:00
Dekker1/ dekker-phd-thesis Archived
TeX 0 0
Jip Dekker's PhD Thesis
Updated 2025-03-06 05:48:42 +00:00
Dekker1/ 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
Dekker1/ on-restart-benchmarks Archived
C++ 0 0
Updated 2025-03-06 05:44:41 +00:00
Dekker1/ 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
Dekker1/ 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
Dekker1/ ResearchMethods Archived
Jupyter Notebook 0 0
Updated 2025-03-06 05:14:19 +00:00
Dekker1/ 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
Dekker1/ FIT1047-crypt Archived
HTML 0 0
Tiny tool to do monoalphabetic substitution
Updated 2025-03-06 04:20:59 +00:00
Dekker1/ 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
Dekker1/ chronozinc Archived
Go 0 0
A small application used to run benchmarks on MiniZinc models and solvers
Updated 2025-03-03 11:37:17 +00:00
Dekker1/ linter-mzn Archived
CoffeeScript 0 0
Atom linter for MiniZinc
Updated 2025-03-03 11:36:10 +00:00
Dekker1/ atom-minisuite Archived
CoffeeScript 0 0
An Atom package that intends to bring the MiniZinc IDE experience to Atom!
Updated 2025-03-03 11:34:42 +00:00
Dekker1/ ponder Archived
Go 0 0
A small application to manage Lilypond music repositories
Updated 2025-03-03 11:25:07 +00:00
Dekker1/ Gastenboek Archived
Go 0 0
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Updated 2025-03-03 11:23:53 +00:00