wootfish / theseus.dht
A distributed hash table with unusually strong security properties
☆64Updated 4 years ago
Related projects: ⓘ
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Bertie TLS 1.3 Implementation☆112Updated 2 months ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 3 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆30Updated 6 months ago
- A Unikernel running WebAssembly code☆47Updated last year
- a file transfer service utilizing quic☆55Updated this week
- A small language that compiles to WebAssembly Text format☆73Updated 4 months ago
- Shell Of A New Machine: Quickly configure new environments☆40Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 3 months ago
- Escrovery - Decentralized Account Recovery With Escrowed Payments☆13Updated 5 years ago
- An interpreter of subset of Python in Go☆48Updated last year
- Research and proof of concept to develop the next SecureDrop with end to end encryption.☆47Updated 2 months ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Zig library for HyperLogLog estimation☆84Updated 2 months ago
- building and applying patches to binary files☆67Updated 10 months ago
- ☆99Updated this week
- Mirror of the Ouroboros packet network repository. Latest version and documentation is on the website.☆41Updated last month
- A pseudo-random deterministic merkle tree built on LMDB☆54Updated 4 months ago
- The last text file sorting tool you'll ever need.☆28Updated last year
- A Nix web bundler because why not☆52Updated 6 months ago
- ☆34Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- Benign remote code execution☆111Updated this week
- Lossy compression of CSS for fun and loss (or profit)☆34Updated 7 months ago
- ☆22Updated this week
- a 64-bit histogram / quantile sketch☆56Updated last year
- SBP: A Programming Paradigm for Building Secure Software and Operating Systems☆28Updated 4 months ago
- A proof-of-concept for a read-only filesystem with random contents generated on demand.☆37Updated 3 years ago
- A WASM package and web app for encrypting and decrypting age-encrypted files, powered by rage.☆74Updated last year