parvmor Goto Github PK
Name: Parv Mor
Type: User
Bio: SWE at CitSec. Programmer. Verifier.
Location: Somewhere, Universe
Name: Parv Mor
Type: User
Bio: SWE at CitSec. Programmer. Verifier.
Location: Somewhere, Universe
Assignments done as part of ACA.
Collection of different algorithms, used for programming competitions (like ACM ICPC).
:books: List of awesome university courses for learning Computer Science!
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
A Javascript implementation of the Python virtual machine.
Python script for filtering Codeforces problems by division and index
coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.
Bears for coala
Educational computer programming environment using Haskell
:mortar_board: Path to a free self-taught education in Computer Science!
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Assignments done as part of CS252
Notes for the CS203 Course as offered by Professor Manindra Agrawal at IIT Kanpur in the fall 2016 semester.
C++ implementation of FIFO and Localized Causal Broadcast.
A hyperledger framework to store transactions of files in blockchain
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
This repository is a snapshot of work done during GSoC'18 under TLA+.
A linux kernel module to count TLB misses
A patch to linux kernel to log number of packets and restrict packet transmission per second.
Linux Kernel implementation of MultiPath TCP
Awesome VimRC
An object storage implemented as part of OS assignment.
An IRC server and client based on openMP and Non-Blocking Sockets
Jekyll-based repository for the Programming Club website
Work done for the course project of Randomized Algorithms
SeaHorn Verification Framework
Self created shell with minimal functionality
Verification of concurrent programs in stainless with {D}TSO memory model.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.