manishkk

awesome-self-stabilization

Self-stabilization resources and links.

awesome-consensus

Awesome list for Paxos and friends

awesome-mpc

A curated list of multi party computation resources and links.

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

Software-Foundations

Solution of Software Foundation

bugbug

Platform for Bugzilla Machine Learning projects

dijkstra-shortest-reach-random

App generates random graphs and solve the shortest reach from a random start and finish

distributed-consensus-reading-list

Distributed-Graph-Algorithms

A collection of distributed graph algorithms, implemented in Python/DistAlgo

error-prone

Catch common Java mistakes as compile-time errors

fresco

A FRamework for Efficient Secure COmputation

JBotSim

JBotSim Core Files

jpaillier

A Java implementation of Paillier cryptosystem.

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.

kubernetes

Production-Grade Container Scheduling and Management

Leet-Code

Solution of Leet Code Problems

loadbalance

manishkk.github.io

pmd

An extensible multilanguage static code analyzer.

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Randomness-Test-of-Sequences

rust-crypto

A (mostly) pure-Rust implementation of various cryptographic algorithms.

Schulzeproperties

This repo is intended for verifying properties of Schulze Method

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

tdULL

tendermint

⟁ Tendermint Core (BFT Consensus) in Go

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.

toychain

A minimalistic blockchain consensus implemented and verified in Coq

trackingprotection-tools

A collection of tools for working with and analyzing Tracking Protection as implemented in Firefox