Pinned Repositories
action-setup-slurm
Setup SLURM for testing purposes
amplify-cli
A CLI toolchain for simplifying serverless web and mobile development.
cairo-rs
Cairo bindings for Rust
mio
Mini IO library for Rust
msnip
A MathJax based mathematical snippet renderer
portmidi-rs
PortMidi bindings for Rust
rust-iocp
Windows IOCP library for Rust
rust-websocket
A WebSocket (RFC6455) library written in Rust
sapper-auth
Example repo for Authorization header in Sapper (shows problem with server fetch)
squirrel-rs
Bindings to squirrel for Rust
cyderize's Repositories
cyderize/sapper-auth
Example repo for Authorization header in Sapper (shows problem with server fetch)
cyderize/bulma
Modern CSS framework based on Flexbox
cyderize/Cbc
COIN-OR Branch-and-Cut solver
cyderize/cbc-builds
Automated builds of COIN-OR CBC
cyderize/chuffed
The Chuffed CP solver
cyderize/docker-build-environment
A set of docker images for a MiniZinc build environment
cyderize/gecode
Generic Constraint Development Environment
cyderize/HiGHS
Linear optimization software
cyderize/jason-n.com
Personal website landing page
cyderize/jsgrid
Lightweight Grid jQuery Plugin
cyderize/MAPF-benchmark-web
cyderize/MARIE.js
A MARIE simulator in JavaScript
cyderize/minizinc
The MiniZinc compiler
cyderize/minizinc-discord
A Discord bot that will solve MiniZinc instances
cyderize/minizinc-js
cyderize/minizinc-playground
MiniZinc playground using WebAssembly
cyderize/minizinc-python
Access to all MiniZinc functionality directly from Python
cyderize/minizinc.github.io
The website for the MiniZinc constraint modelling system
cyderize/MiniZincIDE
cyderize/msvc-msys2
GitHub action for setting up an MSYS2 environment that uses MSVC.
cyderize/mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
cyderize/or-tools
Google's Operations Research tools:
cyderize/podman-compose
a script to run docker-compose.yml using podman
cyderize/posthoc-app
Posthoc is a way to build simple and effective visualisations ✨ for sequential decision-making algorithms, such as search.
cyderize/shackle
A constraint modelling and rewriting library and compiler framework written in rust
cyderize/SimulIDE-dev
SimulIDE Circuit Simulator.
cyderize/tray-item-rs
Multi-platform Tray Indicator
cyderize/tree-sitter
An incremental parsing system for programming tools
cyderize/wk-audio
Web app for multiple choice audio quizzes on WaniKani vocabulary
cyderize/wk-extras
Web app which shows WaniKani items nearing review time.