Skip to content
View mehrad31415's full-sized avatar
8 followers · 11 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report mehrad31415

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
mehrad31415/README.md

Mehrad's GitHub Profile

Welcome to my GitHub! I’m Mehrad, a programmer and researcher passionate about:

  • Programming Languages
  • Formal Verification
  • Logic & Automated Reasoning
  • Functional Programming

Here, you can find some of my projects, contributions, and other highlights.

🛠️ Current Projects

📌 Rusmart: I am currently working on a Rust project called rusmart.

📊 Top Languages

Top Langs

⏱️ Coding Activity

Mehrad's WakaTime stats

Note: These stats reflect coding activity tracked since installing WakaTime on 27th of October 2024, and do not represent my overall coding activity.

Popular repositories Loading

  1. Project-Euler Project-Euler Public

    These are my solutions for the problems of the project Euler I have solved written in python.

    Python 2

  2. data-science data-science Public

    Exploring the main causes of death in the US using datasets from CDC, New York Times, and Google trends

    HTML 1

  3. CSharpCompiler CSharpCompiler Public

    This is a Compiler for C# to SSM Code

    Haskell 1

  4. haskell-mooc haskell-mooc Public

    Forked from moocfi/haskell-mooc

    Haskell MOOC University of Helsinki

    HTML

  5. tic-tac-toe-haskell tic-tac-toe-haskell Public

    A tic-tac-toe game using the minimax algorithm written in Haskell

    Haskell

  6. Monte-Carlo-Simulation Monte-Carlo-Simulation Public

    Contribution to the project of a University of Alberta graduate student.

    Jupyter Notebook