SnobbyDragon

Pinned Repositories

2019FRCNewProjectTrial1
Language:Java0 1 00
96TonsOfDataTrial2
Language:Java1 1 00
ACMW-GitWorkshopDemo
Language:HTML0 2 00
CalculusGame
Helps you learn calc stuff
Language:Java0 2 00
cataleidoscope
Rectangular tilings of cats.
Language:JavaScript2 2 00
CSE3902_SP21
Language:C#1 1 3411
leanfifteen
Fifteen in Lean!
Language:Lean4 2 00
leanhanoi
Tower of Hanoi in Lean!
Language:Lean7 2 01
RedisDataCube
Language:Python1 2 01
Snobby-Dragon-The-Pageant
This is a game where you play as a dragon entering a snobby pageant.
Language:Java0 1 01

SnobbyDragon's Repositories

SnobbyDragon/leanhanoi
Tower of Hanoi in Lean!
Language:Lean7 2 01
SnobbyDragon/leanfifteen
Fifteen in Lean!
Language:Lean4 2 00
SnobbyDragon/cataleidoscope
Rectangular tilings of cats.
Language:JavaScript2 2 00
SnobbyDragon/96TonsOfDataTrial2
Language:Java1 1 00
SnobbyDragon/CSE3902_SP21
Language:C#1 1 3411
SnobbyDragon/RedisDataCube
Language:Python1 2 01
SnobbyDragon/2019FRCNewProjectTrial1
Language:Java0 1 00
SnobbyDragon/ACMW-GitWorkshopDemo
Language:HTML0 2 00
SnobbyDragon/CalculusGame
Helps you learn calc stuff
Language:Java0 2 00
SnobbyDragon/happynumbers
Playing with happy numbers in Lean
Language:Lean0 2 00
SnobbyDragon/Snobby-Dragon-The-Pageant
This is a game where you play as a dragon entering a snobby pageant.
Language:Java0 1 01
SnobbyDragon/zigbot
Language:Java0 3 00
SnobbyDragon/MockingSpongebobChromeExtension
Quickly mock people by highlighting text.
Language:JavaScript2 0
SnobbyDragon/OldTownRoadArduino
Language:C++2 0
SnobbyDragon/PiggyBank
smol piggy bank to practice swift
Language:Swift1 0
SnobbyDragon/SnobbyDragonStickers
SnobbyDragon/SnobbySmileyFace
Language:Java1 0
SnobbyDragon/sudoku
A sudoku game where you have to prove that your deductions are valid
Language:Lean1 0