Software developer and data analyst for remote sensing instruments.
Lists (4)
Sort Name ascending (A-Z)
Stars
Documentation and samples for ArcGIS API for Python
Technical Document analyses for NFDRS Version 4.0 publication
Code for calculating various fire indices for a research project about simultaneous large fires
A GUI for labelling methane plumes from super emitters
Ping! Share show ideas, feedback, or general questions. Just create an issue.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.