Senior Research Fellow @ IISc, Bangalore
Bitbucket: stanlyjs
-
Indian Institute of Science
- Bangalore
-
13:50
(UTC +05:30) - stanlysamuel.com
- @StanlyJSamuel
Highlights
- Pro
Block or Report
Block or report stanlysamuel
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
csa-writing-team
csa-writing-team PublicThis repository hosts content by the writing team of the Department of Computer Science and Automation, Indian Institute of Science, Bangaloore
JavaScript
-
-
Equality-Logic-DP
Equality-Logic-DP PublicThis repository contains the code for various decision procedures to solve the quantifier free fragment of first order logic with the theory of equality.
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.