- Marburg, Germany
- TG: @distractedm1nd
- @distractedm1nd
Starred repositories
Kaishi 1.5k is a modern, modular Japanese Anki deck made for beginners who want to learn basic vocabulary.
🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
yomidevs / yomitan
Forked from FooSoft/yomichanPop-up dictionary browser extension. Successor to Yomichan.
Ankimon is a Anki Addon to Gamify your learning experience
Certificate Transparency Log client suitable for monitoring, quick SCT validation, gossiping, etc.
Certificate transparency SCT verification library in rust
Google's list of Certificate Transparency logs as a rust crate for use with sct.rs
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.
Public Ledger of Credentials: a cryptographic, strongly-consistent, and recoverable DID method
NPM Modules for proving and verifying using TLSNotary in the browser
A high-level Rust library to help write clients for the Signal Messenger.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
A mortifying serialization library for Rust
Rust implementation of the Messaging Layer Security (MLS) protocol
Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Super-fast Merklized Embedded Key-Value Store for blockchain nodes
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
an implementation of indexed merkle trees based on descriptions from the paper by tzialla et al https://eprint.iacr.org/2021/1263.pdf
🌐 Indexer for modular data availability network Celestia
Implementation of zero-knowledge proof circuits for Tendermint.
An open source, high performance limit order book for the Seaport smart contracts. Implemented in Rust using ethers-rs, this offers a turnkey option for digital asset marketplaces.