An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

Versatile framework for multi-party computation

Script your gmail filters through a sieve-like language

A toolbox for zkSNARKs on Ethereum

Wayland compositor for AwesomeWM

Smart contracts which are formally verified

Bash Automated Testing System

A pure-Rust implementation of Bulletproofs using Ristretto.

Personal fork of -zkp. Has some old mimblewimble stuff but mostly I just PR everything upstream now.

A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

⚠️ PLEASE USE https://github.com/ncm2/ncm2 INSTEAD

Python client and plugin host for Nvim

🌸 A command-line fuzzy finder

⚠️ The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

esp8266 related code, like measuring temperature or kwh pulses.

scala library for constructive solid geometry

A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubblewrap if you need more functionality

Free and Open Source messaging and emailing app that combines common web applications into one.

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…