Dekker1/Gastenboek Dekker1/Gastenboek

  • This repository has been archived on 10/Mar/2022
  • Stars
    star
    1
  • Language
    Go
  • Created almost 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Dekker1/Gastenboek
github

Dekker1

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.

More 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

Dekker1

My GitHub readme and personal website
1
star
8

TCP-setup-uppaal

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

tree-sitter-minizinc

MiniZinc grammar for tree-sitter
JavaScript
1
star
10

MiniZinc-Auto-Tabling-Models

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