gitlab.com / sio4 / code
sio4/code/beat
BEAT: Asynchronous BFT Made Practical
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/rdt-rvsdg
Resourceful Dependent Types enriched with inductive types; compiled to Regionalized Value State Dependence Graph enriched with Equality Saturation; accelerated by deriving optimizations from user defined equivalence proofs.
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
sio4/code/vendor
Collection of all external crates necessary for all crates defined in devbox.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/sphinx
An implementation of the Sphinx mix format.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/horol
An implementation of HORNET for use as an overlay network. High-speed Onion Router on an OverLay.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/crystal
An object-capability safe data interchange and remote procedural call framework.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/threshold-ristretto
A collection of threshold cryptosystems using https://dalek.rs 's Rust implementation of https://ristretto.group
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
sio4/code/alloc-counter
An allocation profiling tool.
Last synced at: over 2 years ago - Stars: 11 - Forks: 1