Satyendra Banjare (@SatyendraBanjare)
github

SatyendraBanjare

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    95
  • Global Rank 214,867 (Top 8 %)
  • Followers 32
  • Following 84
  • Registered almost 8 years ago
  • Most used languages
    Python
         28.6 %
    F*     14.3 %
    HTML
         14.3 %
    C
         14.3 %
    Lua
         14.3 %
    C++
         14.3 %
  • Location 🇮🇳 India
  • Country Total Rank 7,399
  • Country Ranking
    F*     3
    Lua
         283
    C
         504
    Python
         3,471
    C++
         8,035
    HTML
         8,986

Top repositories

1

plt-formal-methods-resources

Curated 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.
44
star
2

Video-Stitch

Simple example of video stitching using opencv sticher module
Python
19
star
3

luagit2

Updated Lua bindings to libgit2
C
16
star
4

Project-HomeAutomation

Hobby home automation project build using Django,Raspberry Pi,Xbees
Python
6
star
5

MIT-Abstract-Interpretation-16.399

Exploring Patrick Cousot's Abstract Interpretation Course.
HTML
4
star
6

fishy_balls

an android game built with corona framework
Lua
2
star
7

C-LLVM-compiler

An Hobby project learning to use LLVM.
C++
2
star
8

Pattern-synthesis

Pattern Synthesis on 3D voxelized surface
1
star
9

Gsoc-Proposal

1
star
10

fstarexamples

F*
1
star