Cryptographic Computing for Clean Rooms (C3R) encryption client and SDK
☆44Oct 30, 2026Updated this week
Alternatives and similar repositories for c3r
Users that are interested in c3r are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Mar 29, 2024Updated 2 years ago
- ☆72Dec 5, 2024Updated last year
- Private Set Union from Symmetric-Key Techniques☆11Jan 13, 2024Updated 2 years ago
- ☆12Jan 10, 2023Updated 3 years ago
- A ChatBot for Amazon Chime that sends a message to a group for each news from AWS.☆10Sep 24, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated last year
- retinex image enhancement algorithms☆10Jan 3, 2024Updated 2 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- ☆10Apr 27, 2021Updated 5 years ago
- Approximate convex decomposition(ACD)☆10Sep 9, 2023Updated 3 years ago
- Generates a Zero Knowledge Proof that an encrypted value is in a set of known values☆11Sep 11, 2018Updated 8 years ago
- minimum html5 library for running your C++ code on web browser☆12Sep 10, 2019Updated 7 years ago
- ☆10Aug 2, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- ☆60Oct 12, 2026Updated 3 weeks ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆57Oct 2, 2025Updated last year
- Hybridcast-Connect reference SDK For Java☆15Nov 17, 2021Updated 4 years ago
- Workshop collections of Firecracker.☆14Aug 2, 2020Updated 6 years ago
- Steganography Reverse Shell☆10Apr 22, 2023Updated 3 years ago
- This tool is a simple ffuf launcher which lets you select dynamically which wordlist and which extentions you want to fuzz.☆10Mar 16, 2026Updated 7 months ago
- This repository contains the backend of the social real-time application for iOS, Android, and Web.☆13Jan 20, 2026Updated 9 months ago
- A zipper library for Racket☆20May 1, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Cerebro: A platform for Secure Coopetitive Learning☆24Sep 9, 2021Updated 5 years ago
- A folder to serve tools from during PT/Red Team engagements. Contains common executables and scripts for privesc, recon, pivoting and CVE…☆15Mar 15, 2024Updated 2 years ago
- A model of the WebAssembly language in Redex☆20Mar 25, 2021Updated 5 years ago
- A Serverless project to help you operate on every existing item in a DynamoDB table☆17Mar 5, 2019Updated 7 years ago
- Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware☆15Mar 1, 2022Updated 4 years ago
- Create and deploy your Apex project on AWS API Gateway using Swagger configuration☆19May 4, 2018Updated 8 years ago
- ☆18Mar 30, 2026Updated 7 months ago
- Highly optimized curve25519 assembler for AArch64☆13Aug 23, 2019Updated 7 years ago
- Swan Benchmark Suite☆14Sep 17, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆25Jul 16, 2022Updated 4 years ago
- Language-agnostic workflow builder. Modular code that goes from dev to prod in a minute with principled design decisions.☆15Mar 11, 2024Updated 2 years ago
- A two-party generator for Vector-OLE correlations.☆31Jan 17, 2021Updated 5 years ago
- Testing the Rust standard library with Miri, continuously☆23Oct 1, 2026Updated last month
- ☆25Aug 26, 2024Updated 2 years ago
- Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style☆24Mar 1, 2018Updated 8 years ago
- ☆19Jun 4, 2024Updated 2 years ago