A compiler for secure multiparty computation
☆50Sep 4, 2016Updated 9 years ago
Alternatives and similar repositories for smpcc
Users that are interested in smpcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A pure go implementation of the KVM API☆12Feb 4, 2019Updated 7 years ago
- FairplayMP provides secure multiparty computation.☆47Feb 18, 2015Updated 11 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 7 years ago
- Oracle feeder service (presently supporting Terra)☆14Jan 23, 2023Updated 3 years ago
- 🎄🖋 A Rust implementation of Merkle signing☆15Jul 10, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Sonic implementation in Rust☆17Jun 4, 2019Updated 7 years ago
- ☆11Jun 14, 2018Updated 8 years ago
- A research-only integration of Sovereign with Celestia☆20May 30, 2023Updated 3 years ago
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 6 months ago
- ☆20Jul 10, 2025Updated 11 months ago
- ☆24Apr 1, 2024Updated 2 years ago
- Pretty printer from GTIRB to assembly code☆50Apr 10, 2026Updated 2 months ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆17Oct 11, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Repeat statsd packets to riemann☆17Jan 1, 2015Updated 11 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- Go implementation of RFC9497, Oblivious Pseudorandom Functions and Verifiable variants.☆15May 5, 2026Updated last month
- A standalone AES-KW (AES Key Wrap) implementation.☆14Dec 31, 2023Updated 2 years ago
- 该项目主要是搜集网络上的优质区块链资源(主要是以太坊和fabric),包括手册,工具,教程,源码分析等,会持续更新☆10Feb 26, 2019Updated 7 years ago
- ☆15Apr 17, 2019Updated 7 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 14 years ago
- 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.
- mal - Make a Lisp☆14Jun 12, 2021Updated 5 years ago
- ☆15Jul 3, 2011Updated 14 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- outcasts no longer allowed in the ivory tower☆28Aug 25, 2015Updated 10 years ago
- ☆58Mar 6, 2017Updated 9 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Public Key Infrastructure for R based on the X.509 standard☆16Apr 8, 2026Updated 2 months ago
- An open-source set intersection protocols library written in golang.☆18Oct 24, 2024Updated last year
- 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 C++ template library for zero knowledge proofs☆49Dec 8, 2015Updated 10 years ago
- Public working documents (e.g., Internet drafts)☆28Jun 8, 2018Updated 8 years ago
- The compiler for ObliVM☆65Sep 1, 2020Updated 5 years ago
- Optimized C++ ECDSA verifier for secp256k1☆12Mar 21, 2013Updated 13 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Sep 20, 2019Updated 6 years ago
- IRC bot for Hy☆23Nov 1, 2014Updated 11 years ago
- Interesting data artifacts from the Bitcoin blockchain, useful to testers and researchers.☆32Jun 22, 2018Updated 7 years ago