Manish 's repositories
Schulzeproperties
This repo is intended for verifying properties of Schulze Method
dijkstra-shortest-reach-random
App generates random graphs and solve the shortest reach from a random start and finish
JBotSim
JBotSim Core Files
awesome-self-stabilization
Self-stabilization resources and links.
awesome-consensus
Awesome list for Paxos and friends
Distributed-Graph-Algorithms
A collection of distributed graph algorithms, implemented in Python/DistAlgo
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.
bugbug
Platform for Bugzilla Machine Learning projects
kubernetes
Production-Grade Container Scheduling and Management
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
trackingprotection-tools
A collection of tools for working with and analyzing Tracking Protection as implemented in Firefox
pmd
An extensible multilanguage static code analyzer.
spotbugs
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
error-prone
Catch common Java mistakes as compile-time errors
Software-Foundations
Solution of Software Foundation
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.
practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
jpaillier
A Java implementation of Paillier cryptosystem.
Leet-Code
Solution of Leet Code Problems
fresco
A FRamework for Efficient Secure COmputation
awesome-mpc
A curated list of multi party computation resources and links.
tendermint
⟁ Tendermint Core (BFT Consensus) in Go
rust-crypto
A (mostly) pure-Rust implementation of various cryptographic algorithms.
toychain
A minimalistic blockchain consensus implemented and verified in Coq