Open source platform for the privacy-preserving machine learning lifecycle
☆17Aug 18, 2023Updated 2 years ago
Alternatives and similar repositories for heflow
Users that are interested in heflow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Work related to vectorizing strategies for arbitrary FHE programs☆10Sep 5, 2025Updated 8 months ago
- ☆41Aug 12, 2024Updated last year
- Intel’s HERACLES accelerator introduces a new set of fundamental instructions, the Polynomial Instructions Set Architecture (P-ISA) that …☆63Apr 14, 2026Updated last month
- ☆16Mar 26, 2026Updated last month
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆72Dec 5, 2024Updated last year
- A LALR(1) OpenQASM Parser and AST Generator.☆13Jul 29, 2024Updated last year
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- AwesomeTTS text-to-speech add-on website☆10Jul 7, 2017Updated 8 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- A Lean implementation of Interaction Trees☆15Jan 13, 2025Updated last year
- Repository template with Shell/Bash unit testing and pre-commit.☆14May 6, 2023Updated 3 years ago
- C++ 实现 BP 神经网络识别手写数字数据集 MNIST☆14Jan 7, 2024Updated 2 years ago
- PoUW enables PAI Coin to serve a dual purpose: (1) As a typical cryptocurrency, like Bitcoin, Ethereum, and many others, and (2) as a com…☆10Jan 18, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Crypto-Convolutional Neural Network library written on top of SEAL 2.3.1☆14Oct 20, 2019Updated 6 years ago
- This is a software development exercise for a TypeScript / Node.js backend developer position.☆10Jan 24, 2023Updated 3 years ago
- Polycircuit is an FHE components library built via FHERMA competitions☆21Jul 10, 2025Updated 10 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- A ZKP-augmented fork of the OpenFHE library☆25Jul 6, 2024Updated last year
- An experimental implementation of compiler-driven automatic sharding of models across a given device mesh.☆79Updated this week
- Optimizing compiler for Fully Homomorphic Encryption (FHE)☆79Jul 24, 2024Updated last year
- SysX☆35Mar 27, 2024Updated 2 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆26May 9, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 동시성 프로그래밍 입문☆20Mar 13, 2022Updated 4 years ago
- An implementation of "The Simplest Oblivious Transfer Protocol"☆28Nov 13, 2018Updated 7 years ago
- Generate reliably random numbers using Foundry's FFI cheat code.☆22Dec 23, 2022Updated 3 years ago
- A Fully Homomorphic Encryption (FHE) library for bridging the gap between theory and practice with a focus on performance and accuracy.☆143Nov 4, 2025Updated 6 months ago
- ☆35Aug 20, 2023Updated 2 years ago
- [ICML'23 Oral] HETAL: Efficient Privacy-preserving Transfer Learning with Homomorphic Encryption☆50Mar 29, 2024Updated 2 years ago
- Source code for the paper "Transformer-based Language Models and Homomorphic Encryption: an intersection with BERT-tiny"☆36Oct 25, 2025Updated 6 months ago
- PhantomFHE: A CUDA-Accelerated Homomorphic Encryption Library☆156Jan 1, 2025Updated last year
- A zero-config OpenAI client with support for 20+ providers, API key rotation, rate limits, optional LangChain integration and more.☆19Dec 11, 2025Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated 2 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Formalized quantum computing in Lean theorem prover☆35Mar 6, 2021Updated 5 years ago
- DOS Program Development☆14Nov 9, 2022Updated 3 years ago
- Dev Dive 2022 세션 "TDD: 내 코드의 품질을 높여주는 Type-Driven Development" 장표☆11Nov 20, 2022Updated 3 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆13Nov 27, 2023Updated 2 years ago
- Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoreti…☆53Apr 12, 2026Updated last month