Skip to content
View Ash-the-practical-programmer's full-sized avatar
🎯
Focusing
🎯
Focusing
11 followers · 38 following
  • Barakar, West Bengal
  • 21:55 (UTC -12:00)

Organizations

@eduspace-ai

Block or report Ash-the-practical-programmer

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
Ash-the-practical-programmer/README.md

Hi there, I'm Ash 👋

About Me

  • 👀 I’m interested in learning new technology especially AGI and widely used algorithms
  • 🌱 I’m currently learning Lean, PyTorch and a bit AI/ML.
  • 💞 I’m looking to collaborate on projects related to machine learning, deep learning and theorem proving in lean
  • 📫 How to reach me : [email protected]

trophy

Ash's GitHub stats

GitHub Streak

Top Langs

Popular repositories Loading

  1. java-course java-course Public

    An introduction to Java

    Java 2

  2. Canvas-in-Console Canvas-in-Console Public template

    Just a basic program in ruby to add beauty to the output .

    Ruby 2

  3. github-slideshow github-slideshow Public

    A robot powered training repository 🤖

    HTML 1

  4. ruby-course ruby-course Public

    An introduction to Ruby

    Ruby 1

  5. Caesar_Cipher Caesar_Cipher Public

    Ruby Odin Project: Caesar Cipher

    Ruby 1

  6. todo-app todo-app Public

    Just another simple to-do app

    JavaScript 1