Jip J. Dekker (@Dekker1)
github

Dekker1

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 491,990 (Top 17 %)
  • Followers 54
  • Following 60
  • Registered over 12 years ago
  • Most used languages
    JavaScript
         16.7 %
    TeX
         16.7 %
    Go
         16.7 %
    Ruby
         16.7 %
    Python
         16.7 %
    Lua
         16.7 %
  • Location 🇦🇺 Australia
  • Country Total Rank 6,849
  • Country Ranking
    Lua
         247
    TeX
         377
    Ruby
         1,203
    Go
         1,384
    Python
         5,221
    JavaScript
         7,213

Top repositories

1

vscode-minizinc

MiniZinc support for Visual Studio Code
7
star
2

iro-mzn

Generate MiniZinc syntax highlighters
5
star
3

language-mzn

Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
3
star
4

dotfiles

Let's have some dotfiles
Lua
3
star
5

minizinc-discord

A Discord bot that will solve MiniZinc instances
Python
2
star
6

homebrew-minizinc

A Homebrew Tap for MiniZinc solvers
Ruby
2
star
7

Gastenboek

Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Go
1
star
8

Dekker1

My GitHub readme and personal website
1
star
9

TCP-setup-uppaal

An Uppaal analysis of the connection setup of the TCP protocol.
TeX
1
star
10

tree-sitter-minizinc

MiniZinc grammar for tree-sitter
JavaScript
1
star
11

MiniZinc-Auto-Tabling-Models

Models using an intrinsic auto-tabling mechanism in MiniZinc.
1
star