☆14Feb 26, 2019Updated 7 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:
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Sentiment Analysis of COVID-19 Vaccine Tweets☆12Mar 22, 2021Updated 4 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆14Jan 11, 2021Updated 5 years ago
- ☆12Jun 18, 2024Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- The official Truly Kryptic online game☆12May 29, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Real time estimation of epidemic Effective Reproduction Number for Luxembourg☆12Oct 24, 2022Updated 3 years ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 4 months ago
- ☆11Sep 1, 2020Updated 5 years ago
- NASA SEES (2021): CNN Mosquito Detection Research☆12Mar 27, 2022Updated 3 years ago
- ☆11Apr 14, 2023Updated 2 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- ☆14Jun 11, 2025Updated 8 months ago
- Code for ICCV2021 paper: Calibrating Concepts and Operations: Towards Symbolic Reasoning on Real Images☆15Jan 24, 2023Updated 3 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Python scripts and Jupyter Notebooks to download and preprocess Sentinel-5P NO2 data.☆11Jan 14, 2021Updated 5 years ago
- ☆13Nov 12, 2019Updated 6 years ago
- Files for the DDY workshops☆11Mar 17, 2018Updated 7 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated last month
- Binary Programming Formulation for Learning Classification Trees Using Cplex☆12Nov 14, 2018Updated 7 years ago
- Course web site for CSE131 F19☆11Dec 5, 2019Updated 6 years ago
- An ES6 client for Google, DuckDuckGo, Wolfram knowledge services☆13Mar 22, 2018Updated 7 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- ☆17Nov 23, 2021Updated 4 years ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Some tutorials for different approaches to verify neural networks.☆13Sep 23, 2022Updated 3 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 4 months ago
- Public repository for sharing tutorials. For the full client documentation, visit https://docs.descarteslabs.com/☆10Jun 17, 2024Updated last year
- ☆18Aug 23, 2024Updated last year
- ☆14Aug 25, 2023Updated 2 years ago