这是indexloc提供的服务，不要输入任何密码
Skip to content
View csharrison's full-sized avatar
103 followers · 13 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report csharrison

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

Stars

Showing results

leanprover / SampCert

SampCert : Verified Differential Privacy

Lean 76 11 Updated May 1, 2025

spanicker / ip-blindness

124 19 Updated Mar 6, 2023

johnivdel / heavy-ad-intervention

22 2 Updated Sep 23, 2019

cfrg / draft-irtf-cfrg-voprf

Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups

Python 38 15 Updated Sep 10, 2024

w3cping / privacy-threat-model

A target privacy threat model for the Web

25 5 Updated May 27, 2021

michaelkleber / privacy-model

A Potential Privacy Model for the Web: Sharding Web Identity

202 36 Updated Jan 12, 2024

alxdavids / draft-privacy-pass

Working repository for Privacy Pass protocol draft

Makefile 9 7 Updated Apr 30, 2020

brownplt / pyret-lang

The Pyret language.

JavaScript 1,095 116 Updated Jul 23, 2025

mathics / Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core

Python 2,072 206 Updated Jul 31, 2022

csharrison / Rackette

A lazy language interpreted in OCaml

OCaml 2 Updated Apr 3, 2013