Explore projects

Implementation of bigraphs in Coq.

Cryptographically-proven Erasure Coding

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

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

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

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

Cryptographically-proven Erasure Coding

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

A LaTeX template to write beautiful posters.

A template to write simple math documents.

A LaTeX template to write beautiful posters.

This repo contains an Airfoil demo app I use to lecture about airfoil aerodynamics, solving differential equations through state-space dynamic functions and Runge-Kutta in C/C++, modeling, and others.

Acado Toolkit solvers testing