shvamath

Pinned Repositories

SeaSTL
C++ STL implementation for SeaHorn
Language:C++04
VkPlay
Music Player for vk.com, which allows listen and dwonload audio files from vk.com
Language:C#00
Gvido_Grandi_Roses
Small Pascal program which uses CRT module and displays Mathematical flowers
00
pwdGen
Language:Python00
seahorn
SeaHorn Verification Framework
Language:C00
Sorting-Algorithms-in-C-Sharp
Library with different sorting algorithms such as: Quick, Bubble, Merge, Insertion, Binary Insertion Sort, Shell, Counting, Bucket + Binary Search algorithm
Language:C#00
Todos-Api
Language:JavaScript00
truffle_eth_class2
Language:JavaScript00
AZ500-AzureSecurityTechnologies
Microsoft Azure Security Technologies
Language:Bicep814786

shvamath's Repositories

shvamath/SeaSTL
C++ STL implementation for SeaHorn
Language:C++4
shvamath/seahorn
SeaHorn Verification Framework
Language:C
shvamath/pwdGen
Language:Python
shvamath/Todos-Api
Language:JavaScript
shvamath/VkPlay
Music Player for vk.com, which allows listen and dwonload audio files from vk.com
Language:C#
shvamath/truffle_eth_class2
Language:JavaScript
shvamath/Gvido_Grandi_Roses
Small Pascal program which uses CRT module and displays Mathematical flowers
shvamath/Sorting-Algorithms-in-C-Sharp
Library with different sorting algorithms such as: Quick, Bubble, Merge, Insertion, Binary Insertion Sort, Shell, Counting, Bucket + Binary Search algorithm
Language:C#