Skip to content
View prasitaGit's full-sized avatar
1 follower · 2 following
Block or Report

Block or report prasitaGit

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

Popular repositories

  1. cat-lover cat-lover Public

  2. software-foundations software-foundations Public

    Forked from owainwest/software-foundations

    My take on the software foundations ebook and exercises

    Coq

  3. ivy-proofs ivy-proofs Public

    Forked from nano-o/ivy-proofs

    A repository to collect Ivy proofs of various distributed algorithms

  4. Rabin-STTT Rabin-STTT Public

    Forked from utwente-fmt/Rabin-STTT

    Explicit State Model Checking with Generalized Büchi and Rabin Automata

    R

  5. ml-compiler-opt ml-compiler-opt Public

    Forked from google/ml-compiler-opt

    Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

    Python

  6. OCTAL_Code OCTAL_Code Public

    Updated code for GNN LTL

    Jupyter Notebook