This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improvements.
☆12Feb 24, 2026Updated last week
Alternatives and similar repositories for picco
Users that are interested in picco are comparing it to the libraries listed below
Sorting:
- Python implementation of the Fully Homomorphic Encryption Scheme TFHE☆16Jun 19, 2023Updated 2 years ago
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- Beep the PC speaker☆11Nov 9, 2022Updated 3 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- The Computer Language Benchmarks Game in Zig☆12Nov 24, 2021Updated 4 years ago
- Local Boundaries brings the detail geodata of new administrative units or maps of all administrative boundary defined by Nepal Government…☆11Mar 31, 2022Updated 3 years ago
- Homebrew formulas for installing LLM and related tools☆15Sep 6, 2023Updated 2 years ago
- Android app to be used with the 5x5 Stronglifts strength training program.☆10Mar 21, 2018Updated 7 years ago
- ☆11Mar 8, 2022Updated 3 years ago
- Unicode text segmentation (tr29)☆11Sep 19, 2024Updated last year
- Use Gitea in a Docker Swarm in the Hetzner Cloud☆13Jan 7, 2019Updated 7 years ago
- Busy Beaver deciders backed by Coq proof☆15Updated this week
- The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".☆13Jun 7, 2021Updated 4 years ago
- Bloom filter implementation in golang☆12Nov 27, 2023Updated 2 years ago
- Beep, as an ALSA MIDI device☆13Mar 29, 2021Updated 4 years ago
- zig bare-metal vector table stack☆14Mar 15, 2025Updated 11 months ago
- tunez is a general purpose audio metadata library made in zig☆12Mar 14, 2025Updated 11 months ago
- ☆12Mar 19, 2025Updated 11 months ago
- The closs platform shell of Nim, by Nim, for Nim☆11Dec 14, 2018Updated 7 years ago
- An interactive star map, written in Typescript and WebAssembly using Zig☆10Dec 29, 2025Updated 2 months ago
- A helper for writing better PR descriptions☆10Oct 5, 2021Updated 4 years ago
- spurdifies tegzt :DDDD☆11Jul 26, 2023Updated 2 years ago
- Learn event driven programming using Nodejs☆10Dec 8, 2022Updated 3 years ago
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- Factorio Mod☆11Dec 3, 2024Updated last year
- StoryBox is a story and music player built with a Raspberry Pi Zero W and controlled by an RFID reader. This project is dedicated to my d…☆12Feb 24, 2025Updated last year
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆15Jul 15, 2023Updated 2 years ago
- General neural tactic for Lean 4☆25Feb 20, 2026Updated last week
- AI Code Critic: An efficient desktop app leveraging ChatGPT for automated, language-agnostic code reviews. Streamlines code analysis with…☆15Jan 19, 2024Updated 2 years ago
- Firmware and config tools for chording keyboards☆13Jan 11, 2026Updated last month
- Experimental finite field primitives (and maybe more)☆11Jul 24, 2020Updated 5 years ago
- Learn you Galois Fields for Great Good: Code Repository for Blog Series at xorvoid.com☆15May 10, 2025Updated 9 months ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Jul 30, 2011Updated 14 years ago
- A lock-free, thread-safe, multi-producer/multi-consumer queue based on the LMAX Disruptor.☆16Apr 20, 2021Updated 4 years ago
- 一个基于区块链的存储系统，可以在多个节点（设备）中，为用户生成非对称加密的公私钥对，并使用此密钥对，对数据进行加密上传，和解密下载。☆14Nov 16, 2022Updated 3 years ago
- ☆16Sep 27, 2023Updated 2 years ago
- ☆12May 29, 2018Updated 7 years ago
- Django app for editing and testing puzzlehunt puzzles (open-source version)☆14Jan 21, 2022Updated 4 years ago
- 🧠 A solver for epistemic logic programs.☆13Dec 14, 2024Updated last year