☆33Oct 12, 2020Updated 5 years ago
Alternatives and similar repositories for semantic-vision
Users that are interested in semantic-vision are comparing it to the libraries listed below
Sorting:
- Non-Axiomatic Causal Explorer☆20May 6, 2025Updated 9 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Ghostly: Code for the AI compo case at The Gathering 2017☆17Jun 8, 2021Updated 4 years ago
- Very low-level C++ programming utilities used by several components☆40Dec 21, 2025Updated 2 months ago
- The OpenCog hypergraph database, query system and rule engine☆22Jan 25, 2023Updated 3 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated this week
- Hanson Robotics Eva robot sensory and motor API☆20May 17, 2018Updated 7 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- 3D Kalman Filter - C++ Implementation☆16Jun 2, 2024Updated last year
- Examples of more involved applications using Geomstats☆33Mar 6, 2021Updated 4 years ago
- Spring 2021 Short Course materials☆12Dec 2, 2024Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆46Dec 10, 2025Updated 2 months ago
- Image Annotator Web-app using Plotly-Dash, MongoDB, and MLflow☆14Nov 22, 2022Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- R scripts and data sets that can be used to reproduce the results presented in the paper "Bayesian additive regression trees with model t…☆10Dec 13, 2022Updated 3 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- A data analysis package for high-dimensional, multi-block data.☆12Jan 13, 2022Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Pytorch Implementation of Lightweight and robust representation of economic scales from satellite imagery.☆13Nov 21, 2019Updated 6 years ago
- A system used to request absentee ballots in the state of Virginia. 📬☆10Sep 14, 2023Updated 2 years ago
- ☆11Feb 18, 2022Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Implementation of the paper Unsupervised Learning of Video Representations using LSTMs☆10Nov 24, 2017Updated 8 years ago
- Minimal VIPS Docker image based on Alpine Linux☆11Sep 9, 2024Updated last year
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆11May 20, 2022Updated 3 years ago
- Implements PyTorch model which updates SPD weights on Riemannian Manifold. Based on Huang, Z., & Van Gool, L. (2016). A Riemannian Netwo…☆12Mar 8, 2019Updated 6 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- ☆11Aug 13, 2025Updated 6 months ago
- ☆10Apr 5, 2019Updated 6 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- ☆11Jul 30, 2023Updated 2 years ago
- Dark Reader Chrome and Firefox extension☆12Jul 7, 2019Updated 6 years ago
- Data Science Research Project: Map poverty using satellite images.☆11Aug 14, 2020Updated 5 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- Traceroute in C using raw sockets.☆13Jan 12, 2013Updated 13 years ago