manishkk

manishkk's Stars

• diem/diem

  Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

  Language:Rust16.7k5151.4k2.6k

• google/fully-homomorphic-encryption

  An FHE compiler for C++

  Language:C++3.5k8937257

• facebookresearch/CrypTen

  A framework for Privacy Preserving Machine Learning

  Language:Python1.6k43263283

• tf-encrypted/tf-encrypted

  A Framework for Encrypted Machine Learning in TensorFlow

  Language:Python1.2k53440215

• jonaschn/awesome-he

  ✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

  1.1k48485

• IBM/differential-privacy-library

  Diffprivlib: The IBM Differential Privacy Library

  Language:Python8403343200

• microsoft/CCF

  Confidential Consortium Framework

  Language:C++787411.6k218

• mostafatouny/awesome-theoretical-computer-science

  The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

  Language:Python76312147

• Ye-D/PPML-Resource

  Materials about Privacy-Preserving Machine Learning

  23312051

• LeifAndersen/PLGradSchools

  22413032

• protocol/research

  Research at Protocol Labs

  2221364018

• uiuc-focal-lab/syncode

  Efficient and general syntactical decoding for Large Language Models

  Language:Python21642717

• OpenMined/courses

  A place where our community can discuss OpenMined Courses, including posting questions, sharing feedback, or providing comments for discussion!

  168153874

• stevenang/randomness_testsuite

  This is a Python implementation of NIST's A Statistical Test Suite for Random and Pseudorandom Number Generators for Cryptographic Applications

  Language:E16461956

• hyperledger-labs/mirbft

  MirBFT is a consensus library implementing the Mir consensus protocol.

  Language:Go158152234

• IBM/FormalML

  Formalization of Machine Learning Theory with Applications to Program Synthesis

  Language:Coq7512117

• kaelzhang81/awesome-tlaplus

  A curated list of TLA+ resources.

  666124

• arjun-menon/Distributed-Graph-Algorithms

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

  Language:Python644020

• coq-community/graph-theory

  Graph Theory [maintainers=@chdoc,@damien-pous]

  Language:Coq341144

• cs6213/tlaplus-examples

  Basic TLA+ Examples

  Language:TLA12202

• todpole3/accio-bib

  Read a list of paper titles and save their DBLP bibtex entries in a file.

  Language:Python11101

• joscoh/graph-proofs

  Proofs about graph algorithms

  Language:Coq8100

• anshumanmohan/CertiGraph-VST

  Language:Coq7300

• bornfight/smart-contract-formal-verification

  Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker

  Language:JavaScript6203

• core-challenge/2022benchmark

  42

• gkrls/FTSEmu

  Emulating Distributed Fault Tolerant Termination Detection with Safra's Algorithm

  Language:Java4303

• heidihoward/systems-research

  Introduction to Computer Systems Research

  4300

• mukeshtiwari/Schulzeproperties

  This repo is intended for verifying properties of Schulze Method

  Language:Coq2302

• martinlackner/perpetual

  Perpetual Voting Rules

  Language:Python1202

• mukeshtiwari/Dlog-zkp

  Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)

  Language:Coq1200