Dayveed117's repositories
vscode-whylson-connector
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
words-dont-come-easy
Android application that challenges your vocabulary in timely manner
blobs-in-legoland
Computer Vision inspired project to find colored regions in images
diamond-square-terrain
Terrain generation using diamond square terrain algorithm
Hector-Python
A Python3 version of the software Hector
linked-list-manager
Management of Linked List resources through multithreading, locks, and FIFOs
lisp-in-c
Implementing Lisp-like language in C
natrix-lang
Attempt at Implementing the Natrix language
pathfinding-collision-gjk
Implementation of collision and pathfinding algorithms for video game navigation
ros-object-recognition
Studying object recognition mechanics and information gathering and inference through a robot in ROS environment
spotiparty
Trabalho de POO
student-management-shell
Trabalho 1 de Sistemas Operativos
thebest-supermarket
Data Science analysis of mock supermarket data
transaction-control
Studying the behaviour of transactions in MSSQL
winged-edge-loader-ex
Load geometry data in Winged Edge format