Open data portal for searching and downloading public datasets.
An online repository of temporal specification patterns gathered from common specifications of concurrent and reactive systems. It provides patterns with descriptions mapping system behavior into precise statements in formal specification languages, and it supports mappings to several formalisms with tool support for automated analysis.
The National Space Science Data Center is a space science data repository that hosts datasets and associated resources for space missions including SVOM, Tianwen-1, Chang'e lunar exploration missions, Double Star, and related projects. It provides access to lunar and planetary data products, product specifications, metadata, and the latest released space science datasets.
Azure Data Explorer is a fully managed cloud data analytics service for real-time analysis of large data volumes streaming from applications, websites, and IoT devices. It is used to collect, store, and analyze diverse data, and supports querying with Kusto Query Language, T-SQL, and Python.
IPUMS International is a project that collects and distributes census microdata from around the world. Its goals are to preserve data and documentation, harmonize data, and disseminate the harmonized data free of charge. The project covers 104 countries and 656 censuses and surveys, providing source data supplied by participating National Statistical Offices.
Search humanities data collections and supporting text from EEC.
Open data portal for searching and downloading public datasets.
Community notes
Be the first to share how this project worked for you.
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
An online repository of temporal specification patterns gathered from common specifications of concurrent and reactive systems. It provides patterns with descriptions mapping system behavior into precise statements in formal specification languages, and it supports mappings to several formalisms with tool support for automated analysis.
The National Space Science Data Center is a space science data repository that hosts datasets and associated resources for space missions including SVOM, Tianwen-1, Chang'e lunar exploration missions, Double Star, and related projects. It provides access to lunar and planetary data products, product specifications, metadata, and the latest released space science datasets.
Azure Data Explorer is a fully managed cloud data analytics service for real-time analysis of large data volumes streaming from applications, websites, and IoT devices. It is used to collect, store, and analyze diverse data, and supports querying with Kusto Query Language, T-SQL, and Python.
IPUMS International is a project that collects and distributes census microdata from around the world. Its goals are to preserve data and documentation, harmonize data, and disseminate the harmonized data free of charge. The project covers 104 countries and 656 censuses and surveys, providing source data supplied by participating National Statistical Offices.
Search humanities data collections and supporting text from EEC.
Open data portal for searching and downloading public datasets.
