Skip to content
View gokulhari's full-sized avatar
2 followers · 1 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report gokulhari

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
gokulhari/README.md
  • 👋 Hi, I’m @gokulhari
  • 👀 I’m interested in computational fluid mecahnics, runtime verification, and formal methods
  • 🌱 I’m currently learning formal methods
  • 💞️ I’m looking to collaborate on anything
  • 📫 How to reach me - [email protected]

Pinned Loading

  1. CSGSO_BCBGSO_Fall_2021_Hackathon_Turing_Machine_Mechanics_of_Millennials CSGSO_BCBGSO_Fall_2021_Hackathon_Turing_Machine_Mechanics_of_Millennials Public

    CSGSO_BCBGSO_Fall_2021_Hackathon_Turing_Machine_Mechanics_of_Millennials

    Java

  2. MLTLM_NSV2022 MLTLM_NSV2022 Public

    C

  3. robostack-packages robostack-packages Public

    C++

  4. MLTLMaxSAT-FORMATS MLTLMaxSAT-FORMATS Public

    C++