Explore projects

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Forked from https://github.com/amtoine/config.nvim

crate: https://crates.io/crates/dragoonfri mirror: https://github.com/dragoon-rs/fri

A Provable Coded P2P System

Implementation of bigraphs in Coq.

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Nanospace Demonstration

forked from https://github.com/amtoine/dotfiles

A LaTeX template to write beautiful posters.