Gökberk KOÇAK's repositories
chilledcow-scrobbler
LastFM scrobbler for chilledcow youtube stream
fb2k-theme
Gok's Foobar2000 theme
tgtg-discord-bot
TooGoodToGo Discord Bot
adventofcode
Gok's Advent of Code Repo
dig-rs
Dominance Incomparability Generator
Language:Rust000
dpemr
Distributed parallel for experiment management in Rust
Language:Rust000
Language:Rust000
rrr
result-reader-rs
Language:Rust000
gym-occupancy-tracker
University of St Andrews Gym Occupancy Tracker
Language:Python000
MPL-2.0000
nbc_minisat_all
nbc_minisat_all w/ random seed capabilities
Language:CNOASSERTION000
Language:Python000
rust_cadical
A Rust API for Cadical SAT solver which have alterations to expose some fields for statistical analysis.
Language:Rust000
rust_glucose
A Rust API to Glucose SAT solver with alterations to expose some fields for statistics.
Language:Rust000
rust_nbc
A Rust API for nbc_minisat_all Sat solver with alterations to expose fields and solutions.
Language:Rust000
rustube
A YouTube video downloader, originally inspired by pytube, written in Rust.
Apache-2.0000
stacscheck
St Andrews Computer Science Checker
Language:HTML000