Skip to content
View shamEiNew's full-sized avatar
🎯
Focusing
🎯
Focusing
  • 21:36 (UTC +05:30)

Block or report shamEiNew

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
shamEiNew/README.md

Hi there 👋

I'm Sham, I studied mathematics as a post-grad and working with a startup to develop analytics intellegince and further computational/ML methods to solve mathematical problems, games, and different domains.

Languages I know

langs langs

Libraries I use

langs langs langs langs langs langs langs langs

Frontend Tech I learned

langs langs langs

Currently I'm trying to understand algorithmic techniques in group theory and some deep neural networks.

Most of the things I have taught myself. If you think I can contribute to a project, contact me I happy to learn and help!

Pinned Loading

  1. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

    A collection of formalized statements of conjectures in Lean.

    Lean 531 50