robertboy18 Goto Github PK

blinkeyepython

Run Python programs by blinking twice

comptetive-programming-solutions

Competitive programming solutions - Leetcode, Hackerrank, Codechef, Project Euler, Codeforces

csrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

edcde-iclr-2023

[Re] D-CODE: Discovering Closed-form ODEs from Observed Trajectories

galore-no

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection

ibm-data-science

Notebooks , Machine Learning Algorithms and Notes

leancopilot-rag

LLMs as Copilots for Theorem Proving in Lean

leandojo-dynamic

Tool for data extraction and interacting with Lean programmatically.

lpsda

Repo to the paper "Lie Point Symmetry Data Augmentation for Neural PDE Solvers"

machine-learning-algorithms-implementation

Machine Learning Algorithms implementation - Following no particular textbook but a combination of textbooks and course topics covered in ML courses at the University of Alberta

markov_neural_operator

neuraloperator

Learning in infinite dimension with neural operators.

numerical-algorithms-implementation

Implementation of all the Numerical Algorithms covered in the textbook (A first course on numerical methods) as well as additional Algorithms taught at the University of Alberta.

personal-website

Personal Website

reprover_dynamic

Retrieval-Augmented Theorem Provers for Lean

research-papers

Implementation of code for various research papers that I like

robertboy18

Special Repository

theoretical-algorithms-implementation

CLRS(Introduction to Algorithms) - Python/C++/Java Implementation of all the major Algorithms in the CLRS Textbook as well as additional algorithm's covered in the University of Alberta theory Courses

ualberta-mathematics

Mathematics + Statistics Courses at the University of Alberta