niekbouman Goto Github PK

awesome-mpc

A curated list of multi party computation resources and links.

capnconfig

Type-Safe Program Configuration with Cap'n Proto and JSON

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

cmp_prime_searcher

Search for prime numbers that enable small-range secure comparisons

commelec-api

API for the Commelec Smart Grid control platform

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

convex_dynamics

Computation of the minimal convex invariant error set for the error-diffusion algorithm in 2D, given a set of points.

ctbignum

Library for Multiprecision Compile-Time and Run-Time Arithmetic (including Modular Arithmetic)

fasttext

Library for fast text representation and classification.

fiber

userland threads

fiber-gdb

GDB scripts for debugging applications using Boost.Fiber

frameworks

Sample code and build environments for MPC frameworks

infra

Infrastructure to set up the public Compiler Explorer instances and compilers

instructions_confidentiality

libff_init

initialisation code generator for Fp_model class from scipr libff C++ finite field library

libsnark

libsnark: a C++ library for zkSNARK proofs

motion

niekbouman.github.io

oceandeep

dark colorscheme, pleasant, mainly blue and blueish-green

randombytes

A portable C library for generating cypto-secure random bytes

seastar

High performance server-side application framework

sepia

Sepia (http://sepia.ee.ethz.ch/) set up with an ant file for easy build

smack

SMACK Software Verifier and Verification Toolchain

verifying-constant-time

vim-lsp

async language server protocol plugin for vim and neovim