Gary Sun's repositories
simulated-annealing-tsp
Parameterising Simulated Annealing for the Travelling Salesman Problem
lonely-bot
Discord bot for aggregating and presenting Dota 2 stats and playing music
protein-folding-sat
Protein Folding through Logical Encodings
bule-tutorial
Bule Tutorial
ca-document-generator
Document generator for CA database
bule
The SAT Programming Language Bule
Language:OCamlNOASSERTION000
core
Open source Dota 2 data platform
Language:JavaScriptMIT000
csesoc-cms
The CMS powering content generation/creation for the CSESoc website
Language:TypeScript000
dotconfig
đź’» Unix Setup
000
projects-2022-technical-screening
Easy and Hard technical challenge for 2022 projects applications
Language:Python000