Explore projects

Cryptographically-proven Erasure Coding

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

This repository contains "experimental modular TFA" (aka xtfa), a python-implementation of the algorithms and data structures that I have developed during my thesis. For more information on the theoretical grounds, please consult my manuscript.

Library for performing acoustic beamforming from signal obtained with an array of microphones.

A project that investigates the correcteness and performance of different quicksort implementations.

Our fork of Frama-C.