Jason N's repositories
sapper-auth
Example repo for Authorization header in Sapper (shows problem with server fetch)
action-setup-slurm
Setup SLURM for testing purposes
bulma
Modern CSS framework based on Flexbox
Cbc
COIN-OR Branch-and-Cut solver
cbc-builds
Automated builds of COIN-OR CBC
chuffed
The Chuffed CP solver
docker-build-environment
A set of docker images for a MiniZinc build environment
HiGHS
Linear optimization software
jplag
JPlag - Detecting Software Plagiarism
jsgrid
Lightweight Grid jQuery Plugin
MARIE.js
A MARIE simulator in JavaScript
minizinc-discord
A Discord bot that will solve MiniZinc instances
minizinc-playground
MiniZinc playground using WebAssembly
minizinc-python
Access to all MiniZinc functionality directly from Python
minizinc-slurm-tools
Tools for analysing minizinc-slurm results
minizinc.github.io
The website for the MiniZinc constraint modelling system
msvc-msys2
GitHub action for setting up an MSYS2 environment that uses MSVC.
mzn-bench
SLURM scheduling functionality and a collection of scripts to process the resulting data.
mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
or-tools
Google's Operations Research tools:
podman-compose
a script to run docker-compose.yml using podman
shackle
A constraint modelling and rewriting library and compiler framework written in rust
tray-item-rs
Multi-platform Tray Indicator
tree-sitter
An incremental parsing system for programming tools