Skip to content
View dassarthak18's full-sized avatar
8 followers · 17 following

Block or report dassarthak18

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

This is the github account for Sarthak Das. Sarthak Das is presently pursuing his Ph.D in Computer Science from ??. He completed his Integrated Bachelors-Masters Degree in Computer Science from the Indian Association for the Cultivation of Sciences, Kolkata in 2023. He is particularly interested in logic and theoretical computer science. You can visit his personal gitlab account here. He is also a part of a joint github account for the 2020 Masters batch of IACS Computer Science Unit (CSU) to showcase their work as a group in several projects.

Pinned Loading

  1. BoxRL-NNV BoxRL-NNV Public

    Boxed Refinement of Latin Hypercube Sampling for Neural Network Verification

    TeX

  2. Rhapsody Rhapsody Public

    A C++ library for modelling, simulation, and verification of multi-agent hybrid systems.

    C++

  3. ArtixOpenRC-Hyprland ArtixOpenRC-Hyprland Public

    Installation guide and config files for my artix-openrc + hyprland setup.

    1

  4. Don-t-Panic Don-t-Panic Public

    This labyrinth… this labyrinth may be my prison, but it will not be my tomb. I will find the key, and I will escape.

    Python 1