parvmor Goto Github PK

aca-project

Assignments done as part of ACA.

algos

Collection of different algorithms, used for programming competitions (like ACM ICPC).

awesome-courses

:books: List of awesome university courses for learning Computer Science!

awesome-shell

A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.

batavia

A Javascript implementation of the Python virtual machine.

cf-tasks-filter

Python script for filtering Codeforces problems by division and index

coala

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

coala-bears

Bears for coala

codeworld

Educational computer programming environment using Haskell

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

crab-llvm

Static Analyzer for LLVM bitcode based on Abstract Interpretation

cs252assignments

Assignments done as part of CS252

cs_203_notes

Notes for the CS203 Course as offered by Professor Manindra Agrawal at IIT Kanpur in the fall 2016 semester.

da

C++ implementation of FIFO and Localized Causal Broadcast.

docshare

A hyperledger framework to store transactions of files in blockchain

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

googlesummerofcode18

This repository is a snapshot of work done during GSoC'18 under TLA+.

incoherenttlb

A linux kernel module to count TLB misses

lfs

linux

A patch to linux kernel to log number of packets and restrict packet transmission per second.

mptcp

Linux Kernel implementation of MultiPath TCP

myvimrc

Awesome VimRC

object-storage

An object storage implemented as part of OS assignment.

openmp-irc

An IRC server and client based on openMP and Non-Blocking Sockets

pclub.in

Jekyll-based repository for the Programming Club website

randomizedproject

Work done for the course project of Randomized Algorithms

seahorn

SeaHorn Verification Framework

shell

Self created shell with minimal functionality

slidingfcm

stainless-dtso

Verification of concurrent programs in stainless with {D}TSO memory model.