Pinned Repositories
game-project
generative-rnn
Solve simple contest problems with ML
competitive-programming
Solutions to competitive programming problems.
eigengraph
A simple graphing program. Graph basic functions (with transformations) and animate their integrals.
game-of-life
CS12 culminating project.
HeadEssay
A simple social network to practice OOP fundamentals. ICS4U.
my-first-blog
A Django blog created as part of Google Code-In 2017.
proof-automation
Automate the generation of certain homomorphism proofs in Dafny.
recursion-schemes
Automatically generating proofs of recursion scheme equivalence in Dafny.
rgcsc
Richmond Green Computer Science Club
ruar18's Repositories
ruar18/HeadEssay
A simple social network to practice OOP fundamentals. ICS4U.
ruar18/competitive-programming
Solutions to competitive programming problems.
ruar18/eigengraph
A simple graphing program. Graph basic functions (with transformations) and animate their integrals.
ruar18/game-of-life
CS12 culminating project.
ruar18/my-first-blog
A Django blog created as part of Google Code-In 2017.
ruar18/proof-automation
Automate the generation of certain homomorphism proofs in Dafny.
ruar18/recursion-schemes
Automatically generating proofs of recursion scheme equivalence in Dafny.
ruar18/rgcsc
Richmond Green Computer Science Club