aditi-goyal-257

Pinned Repositories

CS550-Formal-Verification-Project
This project works on formal verification of an algorithm for finding pair of closest points in 2D
Language:Scala21
ACA_2021_intro_to_cp
01
BlockChain
Language:JavaScript00
Cartoonify_image
This project tries to apply opencv concepts and 'cartoonifies' the input image
Language:Python00
Connect
00
cpython
The Python programming language
Language:Python00
DESIS-Educare
Language:C++00
GIPSC
Course project for Compiler Design course
Language:Python00
github-slideshow
A robot powered training repository :robot:
Language:Ruby00
HacktoberFestContribute
Contribute codes on Data Structures and Algorithms. #HacktoberFest
Language:C++00

aditi-goyal-257's Repositories

aditi-goyal-257/CS550-Formal-Verification-Project
This project works on formal verification of an algorithm for finding pair of closest points in 2D
Language:Scala21
aditi-goyal-257/Undergraduate-Project-CS396A
Contains the report, presentations and reference papers used for my undergraduate project at IITK.
aditi-goyal-257/GIPSC
Course project for Compiler Design course
aditi-goyal-257/Parallel-Programming-CS433
Solutions to assignments done as part of the course on Parallel Programming at IITK.
aditi-goyal-257/DESIS-Educare
Language:C++
aditi-goyal-257/BlockChain
Language:JavaScript
aditi-goyal-257/Connect
aditi-goyal-257/micro_app
Language:Java
aditi-goyal-257/ACA_2021_intro_to_cp
1
aditi-goyal-257/cpython
The Python programming language
aditi-goyal-257/Cartoonify_image
This project tries to apply opencv concepts and 'cartoonifies' the input image
Language:Python
aditi-goyal-257/HacktoberFestContribute
Contribute codes on Data Structures and Algorithms. #HacktoberFest
aditi-goyal-257/github-slideshow
A robot powered training repository :robot:
Language:Ruby