Pinned Repositories
AlgoDocs
📚 This repository is meant for jotting down common algorithms and their implementation in several languages
AlgosAndDataStructures
COQ-Tutorial
COQ Proof Assistant Tutorial
fitbit-goal-rings
SMC2
SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
truffle-shuffle
An Android data-driven, percentage-based UI Card Gallery Library
formal-picco
Implementation that corresponds to formalization of PICCO which introduced certain changes to the original design.
AlgoDocs
📚 This repository is meant for jotting down common algorithms and their implementation in several languages
truffle-shuffle
An Android data-driven, percentage-based UI Card Gallery Library
442repo
amypritc's Repositories
amypritc/SMC2
SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
amypritc/AlgoDocs
📚 This repository is meant for jotting down common algorithms and their implementation in several languages
amypritc/AlgosAndDataStructures
amypritc/COQ-Tutorial
COQ Proof Assistant Tutorial
amypritc/fitbit-goal-rings
amypritc/truffle-shuffle
An Android data-driven, percentage-based UI Card Gallery Library