Pinned Repositories
ABC-in-TLA
dynamic_GGM_mcmc
locomotion
Computational geometric tools for quantitative comparison of locomotory behavior
locomotion-package-robustness-testing
This repository contains the scripts I used for robustness testing as part of development work for the locomotion package created by Prof. Matthew Stamps and his collaborators.
pokemon-query
holmusk-coding-task
verified-byzantine-consensus
hotstuff_rs
Rust implementation of the HotStuff consensus algorithm.
superplatformgame
karolinagrzeszkiewicz's Repositories
karolinagrzeszkiewicz/verified-byzantine-consensus
karolinagrzeszkiewicz/ABC-in-TLA
karolinagrzeszkiewicz/dynamic_GGM_mcmc
karolinagrzeszkiewicz/locomotion
Computational geometric tools for quantitative comparison of locomotory behavior
karolinagrzeszkiewicz/locomotion-package-robustness-testing
This repository contains the scripts I used for robustness testing as part of development work for the locomotion package created by Prof. Matthew Stamps and his collaborators.
karolinagrzeszkiewicz/pokemon-query
holmusk-coding-task