fishy15

Student at UT Austin

@redpwn Cupertino

Pinned Repositories

aops-dark-mode
A dark mode for the AoPS Community.
0 0 00
blog-css
CSS for an AoPS blog
Language:CSS0 0 10
competitive_programming
competitive programming folder
Language:C++29 0 10
helloworld-maven
A Hello World program made with Maven.
Language:Java1 1 00
java-game-project
A java game I made in 2018 for class.
Language:Java1 0 00
kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
Language:C++1 1 00
minifrey-types
Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.
Language:Haskell1 1 00
orz-bot
orz
Language:Python1 0 00
proofsynth
Language:Python0 1 00
TLE
🤖 Discord Bot for Competitive Programming
Language:Python5 0 08

fishy15's Repositories

fishy15/competitive_programming
competitive programming folder
Language:C++29 0 10
fishy15/TLE
🤖 Discord Bot for Competitive Programming
Language:Python5 0 08
fishy15/helloworld-maven
A Hello World program made with Maven.
Language:Java1 1 00
fishy15/java-game-project
A java game I made in 2018 for class.
Language:Java1 0 00
fishy15/kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
Language:C++1 1 00
fishy15/minifrey-types
Implements a type checker for a subset of https://www.cs.cornell.edu/andru/papers/gallifrey-types/.
Language:Haskell1 1 00
fishy15/orz-bot
orz
Language:Python1 0 00
fishy15/aops-dark-mode
A dark mode for the AoPS Community.
0 0 00
fishy15/blog-css
CSS for an AoPS blog
Language:CSS0 0 10
fishy15/cf-perf
Language:JavaScript0 0 00
fishy15/dotfiles
Language:Shell0 1 00
fishy15/fishy15.github.io
website :o
Language:HTML0 0 00
fishy15/proofsynth
Language:Python0 1 00
fishy15/cfs-testing-cloudlab-profile
Language:Shell
fishy15/downforacross.com
Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
fishy15/frenchverbs
Language:Python0 0
fishy15/julelang-website
The official website of the Jule programming language.
Language:JavaScript0 0
fishy15/linux-cfs-testing
Linux kernel source tree
Language:C
fishy15/mica-stash
Language:C++1 0
fishy15/mini-TLE
Language:Python1 0
fishy15/nlp-final
Final project starter code for NLP classes at UT Austin: provides a HuggingFace trainer to enable studying of dataset artifacts.
Language:Python
fishy15/orz-bot-rust
A reimplementation of https://github.com/frodakcin/orz-bot.
Language:Rust1 0
fishy15/promys-voting
Language:C++1 0
fishy15/remind
A discord bot that sends reminders for future contests.
Language:Python0 0
fishy15/scheduler-model
Language:Racket2 0
fishy15/usaco-guide
A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
Language:TypeScript0 0
fishy15/usaco-tle
TLE Bot instance for USACO Discord.
Language:Python1 0