manishkk
Post-Doctoral Researcher, New Jersey Institute of Technology
New Jersey Institute of TechnologyNew Jersey
Pinned Repositories
awesome-consensus
Awesome list for Paxos and friends
awesome-distributed-systems
A curated list to learn about distributed systems
awesome-mpc
A curated list of multi party computation resources and links.
awesome-self-stabilization
Self-stabilization resources and links.
Bitcoin-and-Cryptocurrency-Technologies
Bitcoin and Cryptocurrency Technologies by Princeton University (https://www.coursera.org/learn/cryptocurrency)
BlueWhale
Pcap Parser
gecko-dev
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code
nss
Read only mirror of https://hg.mozilla.org/projects/nss
PEDS17
Project WS16-17
Software-Foundations
Solution of Software Foundation
manishkk's Repositories
manishkk/awesome-self-stabilization
Self-stabilization resources and links.
manishkk/awesome-consensus
Awesome list for Paxos and friends
manishkk/awesome-mpc
A curated list of multi party computation resources and links.
manishkk/gecko-dev
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code
manishkk/nss
Read only mirror of https://hg.mozilla.org/projects/nss
manishkk/Software-Foundations
Solution of Software Foundation
manishkk/bugbug
Platform for Bugzilla Machine Learning projects
manishkk/dijkstra-shortest-reach-random
App generates random graphs and solve the shortest reach from a random start and finish
manishkk/distributed-consensus-reading-list
manishkk/Distributed-Graph-Algorithms
A collection of distributed graph algorithms, implemented in Python/DistAlgo
manishkk/error-prone
Catch common Java mistakes as compile-time errors
manishkk/fresco
A FRamework for Efficient Secure COmputation
manishkk/JBotSim
JBotSim Core Files
manishkk/jpaillier
A Java implementation of Paillier cryptosystem.
manishkk/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
manishkk/kubernetes
Production-Grade Container Scheduling and Management
manishkk/Leet-Code
Solution of Leet Code Problems
manishkk/loadbalance
manishkk/manishkk.github.io
manishkk/pmd
An extensible multilanguage static code analyzer.
manishkk/practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
manishkk/rust-crypto
A (mostly) pure-Rust implementation of various cryptographic algorithms.
manishkk/Schulzeproperties
This repo is intended for verifying properties of Schulze Method
manishkk/spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
manishkk/tdULL
manishkk/tendermint
⟁ Tendermint Core (BFT Consensus) in Go
manishkk/tink
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
manishkk/toychain
A minimalistic blockchain consensus implemented and verified in Coq
manishkk/trackingprotection-tools
A collection of tools for working with and analyzing Tracking Protection as implemented in Firefox
manishkk/verified-certifying-distributed-algorithms
A collection of verified certifying distributed algorithms.