Explore projects

Implements the nanorod equation and incompressible Navier-Stokes equation using the port-Hamiltonian formalism

A project investigating the invertability of random matrices over a finite field.

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

Cryptographically-proven Erasure Coding

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

Cryptographically-proven Erasure Coding

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

Implementation of bigraphs in Coq.

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