- Brown University
-
-
gomock-aws-example Public
Mocked AWS clients example for testing using `gomock`
Go UpdatedMay 12, 2024 -
GoLang Example of how to mock clients that would call external endpoints during production
Go UpdatedMay 7, 2024 -
staged-recipes Public
Forked from conda-forge/staged-recipesA place to submit conda recipes before they become fully fledged conda-forge feedstocks
Python BSD 3-Clause "New" or "Revised" License UpdatedJun 13, 2023 -
simple-d3-circuit-visualizer Public
Simple JavaScript-based Bristol circuit visualizer.
-
rbcl_RH88 Public
Forked from TrellixVulnTeam/rbcl_RH88Python binding to the Ristretto group operations in libsodium
Python MIT License UpdatedJan 7, 2023 -
arrow Public
Forked from apache/arrowApache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
C++ Apache License 2.0 UpdatedNov 23, 2022 -
barriers Public
Forked from reity/barriersPython decorator for including/removing type checks, value/bounds checks, and other code blocks within the compiled bytecode of functions and methods.
Python MIT License UpdatedAug 30, 2022 -
truckle Public
A simple setuptools alternative for packing Python modules (with or without FFI bindings) into wheels
Python MIT License UpdatedJul 18, 2022 -
shamirs Public
Forked from lapets/shamirsMinimal pure-Python implementation of Shamir's Secret Sharing scheme.
Python MIT License UpdatedJul 4, 2022 -
lagrange Public
Forked from lapets/lagrangePure-Python implementation of Lagrange interpolation over finite fields.
Python MIT License UpdatedJul 4, 2022 -
circuit Public
Forked from reity/circuitMinimal pure Python library for building and working with logical circuits.
Python MIT License UpdatedJun 29, 2022 -
bfcl Public
Forked from nthparty/bfclPython library for working with circuit definitions represented in the Bristol Fashion.
Python MIT License UpdatedJun 26, 2022 -
mclbn256.py Public
Python bindings for the BN254/256 pairing-friendly curve supported by the MCl library
Python Other UpdatedJun 13, 2022 -
-
lean-prover-one-time-pad Public
Proof of perfect secrecy of the one-time pad using Lean
Lean MIT License UpdatedDec 19, 2021 -
-
-
rbcl Public
Python binding to the Ristretto group operations in libsodium
Python MIT License UpdatedNov 30, 2021 -
fpv2021 Public
Forked from BrownCS1951x/fpv2021Lecture notes, exercises, homeworks for Brown CS1951x 2021
Lean UpdatedNov 24, 2021 -
pynacl Public
Forked from pyca/pynaclPython binding to the Networking and Cryptography (NaCl) library
C Apache License 2.0 UpdatedOct 22, 2021 -
libsodium-1.0.18.tar.gz Public
Extracted copy of libsodium-1.0.18.tar.gz from https://github.com/jedisct1/libsodium/releases/1.0.18-RELEASE/
-
macOS-ARM64-build Public
Forked from jepler/macOS-ARM64-buildExample of building ARM64 (marketed as "Apple Silicon") binaries for macOS 11
Makefile UpdatedOct 15, 2021 -
nizk-proof-synthesis Public
Python tool to construct circuits which output a non-interactive zero-knowledge proof of their correctness
-
-
-
macro-circuit-assembler Public
Expand a macro-circuit into standard Bristol format
-
-
Haptica- Public
Forked from efremidze/HapticaEasy Haptic Feedback Generator 📳
Swift MIT License UpdatedJul 9, 2021 -
demo_z8z Public
Forked from meilof/demo_z8zDemo using Concrete library to implement exact homomorphic computation with 3-bit integers
Rust GNU Affero General Public License v3.0 UpdatedJul 1, 2021