Pinned Repositories
codeworld
Educational computer programming environment using Haskell
da
C++ implementation of FIFO and Localized Causal Broadcast.
googlesummerofcode18
This repository is a snapshot of work done during GSoC'18 under TLA+.
IncoherentTLB
A linux kernel module to count TLB misses
linux
A patch to linux kernel to log number of packets and restrict packet transmission per second.
Object-Storage
An object storage implemented as part of OS assignment.
Student-Search-IITK
Student Search Implemented in bash
tipsy
Provide tips and corrections for C programs
parvmor's Repositories
parvmor/googlesummerofcode18
This repository is a snapshot of work done during GSoC'18 under TLA+.
parvmor/codeworld
Educational computer programming environment using Haskell
parvmor/da
C++ implementation of FIFO and Localized Causal Broadcast.
parvmor/Student-Search-IITK
Student Search Implemented in bash
parvmor/IncoherentTLB
A linux kernel module to count TLB misses
parvmor/linux
A patch to linux kernel to log number of packets and restrict packet transmission per second.
parvmor/Object-Storage
An object storage implemented as part of OS assignment.
parvmor/tipsy
Provide tips and corrections for C programs
parvmor/awesome-shell
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
parvmor/coala
coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.
parvmor/coala-bears
Bears for coala
parvmor/computer-science
:mortar_board: Path to a free self-taught education in Computer Science!
parvmor/crab-llvm
Static Analyzer for LLVM bitcode based on Abstract Interpretation
parvmor/CS252Assignments
Assignments done as part of CS252
parvmor/CS_203_Notes
Notes for the CS203 Course as offered by Professor Manindra Agrawal at IIT Kanpur in the fall 2016 semester.
parvmor/DocShare
A hyperledger framework to store transactions of files in blockchain
parvmor/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
parvmor/LFS
parvmor/mptcp
Linux Kernel implementation of MultiPath TCP
parvmor/pclub.in
Jekyll-based repository for the Programming Club website
parvmor/RandomizedProject
Work done for the course project of Randomized Algorithms
parvmor/seahorn
SeaHorn Verification Framework
parvmor/SlidingFCM
parvmor/stainless-dtso
Verification of concurrent programs in stainless with {D}TSO memory model.
parvmor/sympy
A computer algebra system written in pure Python
parvmor/TemplateForCP
parvmor/the-art-of-command-line
Master the command line, in one page
parvmor/vtage_cvp
Implementations of variants of VTAGE --- A Value Predictor
parvmor/xmobar
A minimalistic text-based status bar
parvmor/XMonad-Configs
My XMonad and XMobar Scripts