Prototype of a system for metadata-hiding communication for whistleblowers
☆20Feb 6, 2020Updated 6 years ago
Alternatives and similar repositories for Express
Users that are interested in Express are comparing it to the libraries listed below
Sorting:
- ☆36Oct 26, 2020Updated 5 years ago
- a Private Publish Subscribe System☆52May 4, 2024Updated last year
- ☆23May 25, 2021Updated 4 years ago
- This library is archived; see crypto-primities for the latest version of this code☆21Feb 15, 2023Updated 3 years ago
- CMake file for using Intel SGX on Linux☆52Oct 29, 2021Updated 4 years ago
- Example on how to use the Intel SGX implementation of AES-GCM☆29Mar 13, 2019Updated 6 years ago
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆64Jan 29, 2018Updated 8 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- An Implementation of Incremental Distributed Point Functions in C++☆80Jan 5, 2026Updated 2 months ago
- A gym-esque environment for Super Smash Bros. Melee.☆12Aug 13, 2021Updated 4 years ago
- The availability of the government of the United States of America☆142Nov 13, 2025Updated 3 months ago
- The new emerging Non Linear Video Editor for Linux. Backup of Lumiera master repository☆15Updated this week
- Library for performing Function Secret Sharing (FSS)☆94Nov 15, 2018Updated 7 years ago
- higher order functions for function composition, laziness, backtracking, and other magic☆18Jun 8, 2019Updated 6 years ago
- USTC OSH 2023 course homepage☆13Jul 27, 2023Updated 2 years ago
- Uses chrome to print PDFs of URLs☆12Jun 19, 2017Updated 8 years ago
- The PartiQL language specification☆14Dec 31, 2025Updated 2 months ago
- QubesOS dom0 automation in Python☆12Aug 3, 2017Updated 8 years ago
- chat on Solid with @Julian-Cole use of Shighl https://github.com/scenaristeur/shighl☆16Jan 7, 2023Updated 3 years ago
- naïve blockchain in Rust☆10Nov 13, 2020Updated 5 years ago
- Rebuilds the manpage index database on-demand to speed-up pacman operations.☆11Aug 28, 2016Updated 9 years ago
- Nanoloop source files for the album "Prime 16"☆11Feb 28, 2026Updated last week
- ☆11Nov 4, 2018Updated 7 years ago
- Solid-compatible chat discussion applet for solid-panes framework☆10Updated this week
- A clib package for the makeheaders command http://www.hwaci.com/sw/mkhdr/☆13Dec 11, 2014Updated 11 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Ethernet powered and controlled LED strip driver and more☆13Dec 25, 2024Updated last year
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Code for DNN feature map compression paper☆11Nov 21, 2018Updated 7 years ago
- ☆12Jul 4, 2014Updated 11 years ago
- ☆11Jul 24, 2022Updated 3 years ago
- ☆16Feb 18, 2026Updated 2 weeks ago
- Code for the blog post on GAN stability☆10Oct 8, 2016Updated 9 years ago
- a simple wii homebrew application demonstrating a simple gba input viewer☆11Apr 22, 2016Updated 9 years ago
- ☆12Apr 8, 2019Updated 6 years ago
- An RP2040 Pico Based Very Simple Polyphonic Synthesizer☆16Jun 18, 2024Updated last year
- A paint program for the Game Boy☆11Aug 27, 2021Updated 4 years ago
- The coolest package manager and deployment tool.☆18Dec 15, 2017Updated 8 years ago