Skip to content
View schoppmp's full-sized avatar
  • Google
  • New York, USA

Sponsoring

@thestinger

Organizations

@googlers
Block or Report

Block or report schoppmp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Code for Menhir paper.

C++ 2 Updated Jun 26, 2024

This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev vm

Shell 31 3 Updated Feb 15, 2024

A template repository for Internet-Draft management

52 52 Updated Jun 11, 2024
Rust 184 10 Updated Jun 28, 2024

Open the current webpage you have in another app. Magic! 🔮

Kotlin 357 31 Updated May 13, 2023

Please see https://github.com/hacspec/hax

Coq 241 44 Updated Feb 12, 2024

A raw implementation of Interoperable Private Attribution

Rust 36 23 Updated Jun 28, 2024

Efficient Private Set Intersection base on VOLE

C++ 98 31 Updated Feb 21, 2024

Mirror of BoringSSL

C 1,755 734 Updated Jun 25, 2024

Use i3 with Cinnamon Session integration.

Makefile 53 12 Updated Apr 2, 2023

An FHE compiler for C++

C++ 3,478 250 Updated Mar 19, 2024

Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io

TypeScript 16,468 2,114 Updated Jun 30, 2024

Intel:registered: Homomorphic Encryption Acceleration Library accelerates modular arithmetic operations used in homomorphic encryption

C++ 213 49 Updated Jun 13, 2024
C++ 6 3 Updated Nov 10, 2020

Dice bot for Discord

Ruby 117 51 Updated Jun 29, 2024

Estimating the COVID risk of ordinary activities

TypeScript 265 54 Updated Aug 1, 2023

Code to Masterthesis

C++ 5 Updated Jan 7, 2021

Compiler for the SEAL homomorphic encryption library

C++ 216 57 Updated Mar 24, 2022

An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties

C++ 83 38 Updated Jul 20, 2023

A collection of algorithms that can do join between two parties while preserving the privacy of keys on which the join happens

Rust 197 46 Updated Jan 18, 2024

[Does not work anymore!] Script to enable systemd support on current Ubuntu WSL2 images

Shell 1,563 379 Updated Sep 17, 2023

Iridium Browser source code

342 31 Updated Jan 26, 2024

TCN protocol based on Private Set Intersection Cardinality.

Go 7 Updated Jun 9, 2020

The Python Differential Privacy Library. Built on top of: https://github.com/google/differential-privacy

Python 488 136 Updated May 21, 2024

Private Set Intersection Cardinality protocol based on ECDH and Bloom Filters

C++ 127 35 Updated Jun 18, 2024

Private Information Retrieval protocol

C++ 41 10 Updated Apr 3, 2021

Automatically update your Windows hosts file with the WSL2 VM IP address

Go 1,637 141 Updated Nov 6, 2023
Next