Satyendra Banjare

@SatyendraBanjare

Open GitHub

🇮🇳 India

SAP Labs India

Profile age: almost 9 years

Updated 1 day ago

36 followers • 84 following

Contacts

satyendrabanjare99@gmail.com

https://satyendrabanjare.com

@me_satyendra

Repositories

plt-formal-methods-resources

updated about 6 years ago • age over 6 years

Video-Stitch

updated over 7 years ago • age almost 8 years

Python100.0%

luagit2

updated over 6 years ago • age over 7 years

C59.0%

Lua30.2%

C++9.9%

CMake0.9%

MIT-Abstract-Interpretation-16.399

updated over 6 years ago • age almost 7 years

HTML51.9%

OCaml36.5%

TeX5.6%

Makefile4.0%

Standard ML2.1%

Project-HomeAutomation

updated almost 3 years ago • age almost 8 years

Python88.9%

C4.3%

C++4.2%

JavaScript1.4%

HTML1.2%

Pattern-synthesis

updated about 7 years ago • age over 7 years

ProSearch

updated about 7 years ago • age almost 8 years

Python89.5%

Java8.1%

JavaScript1.0%

HTML0.9%

CSS0.5%

SatyendraBanjare.github.io

updated over 1 year ago • age over 8 years

HTML47.2%

SCSS42.7%

CSS10.1%

md2notion

updated almost 5 years ago • age almost 5 years

Python100.0%

ZeOS

updated over 4 years ago • age over 5 years

C57.0%

Assembly25.9%

Shell8.9%

C++5.9%

Makefile2.2%

Contributions

2021
md2notion
1 PR +1-0
Python
678
65
9
2018
jscoq
1 PR +1-1
TypeScript
536
48
16

Satyendra Banjare