- ๐ฑ Iโm currently learning
OS development
- ๐ฏ Iโm looking to collaborate on projects related to
Compilers
- ๐ฌ Ask me about :
Django
,Programming Languages Theory
,LLVM (basics)
- ๐ซ How to reach me:
mail
orTwitter DM
๐ฏ
Focusing
Developer @SAP | Btech EE IIT Roorkee 2020 | Winters'19 @unimelb | Google Summer of Code '18 @labluapucrio
-
SAP Labs India
- India
- https://satyendrabanjare.com
- @me_satyendra
Highlights
Block or Report
Block or report SatyendraBanjare
Report abuse
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
plt-formal-methods-resources
plt-formal-methods-resources PublicCurated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
-
MIT-Abstract-Interpretation-16.399
MIT-Abstract-Interpretation-16.399 PublicExploring Patrick Cousot's Abstract Interpretation Course.
-
-
Type-Theory-notes
Type-Theory-notes Public archiveReport on advancements in Type Theory and application of Program Verification
TeX
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.