maria-korosteleva/mpOTR_verif maria-korosteleva/mpOTR_verif

  • Stars
    star
    1
  • Language
    Perl
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maria-korosteleva/mpOTR_verif
github

maria-korosteleva

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

This is working repo for mpOTR security analysis using Maude-NPA. A Diploma project

More Repositories

1

Garment-Pattern-Generator

Official implementation of Generating Datasets of 3D Garments with Sewing Patterns
Python
175
star
2

GarmentCode

A modular programming framework for designing parametric sewing patterns
Python
143
star
3

Garment-Pattern-Estimation

Reconstructing garment sewing patterns from 3D point clouds
Python
128
star
4

Body-Shape-Estimation

Estimate the pose and shape under clothing given a static 3D scan of a human
C++
89
star
5

NvidiaWarp-GarmentCode

An extension over NVIDIA's Warp framework with additional improvements of cloth simulation
Python
25
star
6

Anti-Stress-Tracker

Project for GCT501 Introduction to Culture Technology course at KAIST
HTML
3
star
7

mpotrDevelopment

This is a model realisation of future mpOTR project, for coursework and diploma
C
2
star
8

GeneralMesh

Simple class to work with meshes
C++
2
star
9

Photographer

Take pictures of the input GeneralMesh from custom camera positions
C++
1
star