smarthi / satellite-imagesView external linksLinks
☆14Feb 26, 2019Updated 6 years ago
Alternatives and similar repositories for satellite-images
Users that are interested in satellite-images are comparing it to the libraries listed below
Sorting:
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- ☆12Jun 18, 2024Updated last year
- Sentiment Analysis of COVID-19 Vaccine Tweets☆12Mar 22, 2021Updated 4 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Code used to create NDVI change detection maps from Sentinel-2 imagery on the Google Earth Engine platform.☆13Dec 4, 2019Updated 6 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- ☆11Sep 1, 2020Updated 5 years ago
- NASA SEES (2021): CNN Mosquito Detection Research☆12Mar 27, 2022Updated 3 years ago
- My final project for the Metis Data Science Bootcamp, satellite image segmentation, in partnership with Digital Globe.☆11Nov 10, 2017Updated 8 years ago
- ☆15Jun 30, 2021Updated 4 years ago
- Real time estimation of epidemic Effective Reproduction Number for Luxembourg☆12Oct 24, 2022Updated 3 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- Materials for the course☆13Aug 18, 2017Updated 8 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Binary Programming Formulation for Learning Classification Trees Using Cplex☆12Nov 14, 2018Updated 7 years ago
- Visualizing the evolution of a logistic curve fit on available COVID-19 data over time☆10Mar 26, 2020Updated 5 years ago
- Some tutorials for different approaches to verify neural networks.☆12Sep 23, 2022Updated 3 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated last week
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- using deep semantic segmentation networks for global multi-temporal cropland mapping from remote sensing big data☆13May 16, 2020Updated 5 years ago
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- Course web site for CSE131 F19☆11Dec 5, 2019Updated 6 years ago
- ☆13Nov 12, 2019Updated 6 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Large Scale Image Segmentation Orfeo Toolbox Remote Module☆12Oct 22, 2018Updated 7 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- An ES6 client for Google, DuckDuckGo, Wolfram knowledge services☆13Mar 22, 2018Updated 7 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Oct 31, 2022Updated 3 years ago
- Repository for the Mapping Stellar Surfaces paper series☆12Mar 31, 2021Updated 4 years ago
- A project management software like Trello.☆17Oct 8, 2017Updated 8 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 3 months ago