Jason N's repositories
sapper-auth
Example repo for Authorization header in Sapper (shows problem with server fetch)
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
The MiniZinc compiler
minizinc-discord
A Discord bot that will solve MiniZinc instances
minizinc-playground
MiniZinc playground using WebAssembly
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
posthoc-app
Posthoc is a way to build simple and effective visualisations ✨ for sequential decision-making algorithms, such as search.
shackle
A constraint modelling and rewriting library and compiler framework written in rust
SimulIDE-dev
SimulIDE Circuit Simulator.
tray-item-rs
Multi-platform Tray Indicator
tree-sitter
An incremental parsing system for programming tools
wk-audio
Web app for multiple choice audio quizzes on WaniKani vocabulary