Formal verification of a SCUBA ascent protocol.
-
Updated
Feb 28, 2020
Formal verification of a SCUBA ascent protocol.
A nodejs script that genetates a .kmz map file from scubapedia.ca's dive sites.
Web-based application with Firebase Auth and Firestore.
Reminiscing my vacation photos... in a beautiful HTML/CSS landing page.
R package for a shiny application about scuba diving planification
Neural network model that classifies interesting underwater diving photos
⏰ Tiny app to track filling of compressed air cylinders
PC-Simulator for the Personal Integrated Dive Instrument PIDI
Package to simulate scubadiving planification.
Scuba diving gestures recognition using Mediapipe, cv2 and PyTorch
Minimalistic Nitrox Calculator
ApenaFreediving is for divers that want to improve their breath holding capability
PADI Student Record File form completion tool
A scuba buoyancy calcualtor
🤿️ Dive Log book for Scuba Divers
Java application to convert Suunto dive log files to ANT+ Flexible and Interoperable format for import into Garmin Connect
🤿 A MN90-FFESSM calculator made with JavaScript
Add a description, image, and links to the scuba-diving topic page so that developers can more easily learn about it.
To associate your repository with the scuba-diving topic, visit your repo's landing page and select "manage topics."