hybrid

Automatic verification and synthesis of stochastic processes

Using the combination of two algorithm to secure a file with format of .PDF , .Txt ,and .Docx

A small CLI-Tool that convert SVG-files into Expo (React-Native) -Component.

This is a small and simple Expo-App for testing of converted SVG-Files.