Shubham Jain (@shhaumb)
github

shhaumb

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 361,753 (Top 13 %)
  • Followers 57
  • Following 20
  • Registered over 12 years ago
  • Most used languages
    Python
         50.0 %
    Agda     25.0 %
    JavaScript
         25.0 %
  • Location 🇮🇳 India
  • Country Total Rank 12,421
  • Country Ranking
    Agda     2
    JavaScript
         2,990
    Python
         5,842

Top repositories

1

react-redux-subapp

Create pluggable React-Redux sub applications easily.
JavaScript
30
star
2

django-scooby-profiler

Debugging tool for Django applications
Python
8
star
3

syncit

Extract synchronous functions from async coroutine functions using AST manipulation
Python
6
star
4

agda_coercion

Coercion and Type Refinement in Agda
Agda
2
star