☆22Jul 11, 2022Updated 4 years ago
Alternatives and similar repositories for garmin_data
Users that are interested in garmin_data are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool to export, save, and analyze your Garmin Connect data☆20Apr 30, 2021Updated 5 years ago
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 years ago
- [ICLR-2026 main track] ProofBridge is a unified framework that translates natural language theorems and proofs into Lean 4 using joint em…☆18Jul 18, 2026Updated 3 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- This Keras code is for the paper A. Jamali, Ali and Roy, Swalpa Kumar and Hong, Danfeng and Atkinson, Peter M and Ghamisi, Pedram, "[Spat…☆11Jan 22, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is the implementation of the 4th place solution (yu4u's part) for RSNA 2024 Lumbar Spine Degenerative Classification at Kaggle.☆11Oct 11, 2024Updated 2 years ago
- ☆11Jul 17, 2023Updated 3 years ago
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Updated this week
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 4 years ago
- ☆13Jun 29, 2021Updated 5 years ago
- A website that implements 4 crowd counting algorithms and helps you to predict number of people in images, videos, and in your camera.☆15Jul 15, 2023Updated 3 years ago
- Simulating Realistic Human Scanpaths in Dynamic Real-World Scenes☆16Mar 3, 2026Updated 8 months ago
- ☆13Jul 28, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Official PyTorch implementation of FusionCount: Efficient Crowd Counting via Multiscale Feature Fusion☆13Oct 25, 2022Updated 4 years ago
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago
- Deep Bi-LSTM, CNN and attention layer classifier for emotion detection from text☆10Mar 16, 2019Updated 7 years ago
- Conformal Locally Valid interval-Estimates for Regression☆17Sep 27, 2024Updated 2 years ago
- ARC Prize 2025☆15May 26, 2026Updated 5 months ago
- ☆15Dec 18, 2023Updated 2 years ago
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 10 months ago
- AI Form Filler☆10Nov 23, 2024Updated last year
- Instagram Automation Tool is a framework that automates various Instagram tasks, including file-based operations and web automation (via …☆16May 4, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Dense facial landmarks for thermal imaging☆19Dec 23, 2025Updated 10 months ago
- A little library of open-source tools geared towards practical color management.☆12Nov 28, 2017Updated 8 years ago
- A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)☆21Dec 31, 2023Updated 2 years ago
- RecipeMind: Guiding Ingredient Choices from Food Pairing to Recipe Completition using Cascaded Set Transformer (Mogan Gim et al., 2022)☆11Oct 24, 2022Updated 4 years ago
- A Gesture Recognition App using Microsoft Kinect V2☆10May 31, 2023Updated 3 years ago
- ☆20Nov 8, 2022Updated 3 years ago
- Advanced data wrangling for python☆16Sep 5, 2023Updated 3 years ago
- A high-performance Node.js application leveraging Puppeteer and Express to efficiently extract and display related sources from Google Le…☆14Sep 13, 2024Updated 2 years ago
- Repo for solving arc problems with an Neural Cellular Automata☆27Mar 9, 2026Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- XAI Experiments on an Annotated Dataset of Wild Bee Images☆20Sep 5, 2025Updated last year
- ☆14Jun 23, 2024Updated 2 years ago
- Postador Automático de Imagens no Facebook.☆10Feb 13, 2021Updated 5 years ago
- ReasoningLens: a user-friendly toolkit to visualize, understand, and debug model reasoning chains.☆27Jul 7, 2026Updated 4 months ago
- ☆11Sep 16, 2026Updated last month
- A simple bookmarklet to find top content of a twitter account☆18May 10, 2023Updated 3 years ago
- Unofficial pixabay python API client☆13Feb 6, 2023Updated 3 years ago