Manasvi Saxena (@msaxena2)
github

msaxena2

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 11
  • Following 4
  • Registered about 11 years ago
  • Most used languages
    TeX
         40.0 %
    Python
         20.0 %
    Haskell
         20.0 %
    C
         20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 166,811
  • Country Ranking
    TeX
         2,296
    Haskell
         2,615

Top repositories

1

logic-types-notes

Logic/Type Theory Related Notes
TeX
3
star
2

PyGraphLib

Python graph Library
Python
2
star
3

freebsd-memory-mananger

User Space Memory Manager for FreeBSD
C
1
star
4

matching-logic-proofs

Haskell
1
star
5

cv-resume

CV/Resume
TeX
1
star
6

benchmark-tools

Tools for running and comparing static/dynamic analysis software.
1
star