- Somewhere, Universe
- https://parvmor.github.io
-
seahorn Public
Forked from seahorn/seahornSeaHorn Verification Framework
C Other UpdatedJun 21, 2020 -
crab-llvm Public
Forked from seahorn/clamStatic Analyzer for LLVM bitcode based on Abstract Interpretation
C Apache License 2.0 UpdatedJun 4, 2020 -
-
stainless-dtso Public
Verification of concurrent programs in stainless with {D}TSO memory model.
Scala UpdatedJan 6, 2020 -
da Public
C++ implementation of FIFO and Localized Causal Broadcast.
-
-
-
vtage_cvp Public
Implementations of variants of VTAGE --- A Value Predictor
-
DocShare Public
A hyperledger framework to store transactions of files in blockchain
-
mptcp Public
Forked from multipath-tcp/mptcpLinux Kernel implementation of MultiPath TCP
C Other UpdatedApr 19, 2019 -
linux Public
Forked from torvalds/linuxA patch to linux kernel to log number of packets and restrict packet transmission per second.
C Other UpdatedApr 10, 2019 -
-
-
RandomizedProject Public
Work done for the course project of Randomized Algorithms
TeX UpdatedDec 5, 2018 -
Student-Search-IITK Public
Student Search Implemented in bash
-
googlesummerofcode18 Public
This repository is a snapshot of work done during GSoC'18 under TLA+.
-
tipsy Public
Forked from HexFlow/tipsyProvide tips and corrections for C programs
Scala Apache License 2.0 UpdatedJun 15, 2018 -
pclub.in Public
Forked from pclubiitk/pclub.inJekyll-based repository for the Programming Club website
CSS UpdatedMay 3, 2018 -
-
codeworld Public
Forked from google/codeworldEducational computer programming environment using Haskell
-
CS_203_Notes Public
Forked from abhibhav14/CS_203_NotesNotes for the CS203 Course as offered by Professor Manindra Agrawal at IIT Kanpur in the fall 2016 semester.
TeX UpdatedAug 2, 2017 -
xmobar Public
Forked from mathstuf/xmobarA minimalistic text-based status bar
Haskell Other UpdatedJun 30, 2017 -
-
the-art-of-command-line Public
Forked from jlevy/the-art-of-command-lineMaster the command line, in one page
1 UpdatedApr 4, 2017 -
fpinscala Public
Forked from fpinscala/fpinscalaCode, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Scala MIT License UpdatedMar 31, 2017 -
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedMar 27, 2017 -
computer-science Public
Forked from ossu/computer-science🎓 Path to a free self-taught education in Computer Science!
-
coala Public
Forked from coala/coalacoala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.
Python GNU Affero General Public License v3.0 UpdatedMar 12, 2017 -
coala-bears Public
Forked from coala/coala-bearsBears for coala
Python GNU Affero General Public License v3.0 UpdatedMar 10, 2017 -
awesome-shell Public
Forked from alebcay/awesome-shellA curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
Creative Commons Zero v1.0 Universal UpdatedMar 7, 2017