DeepDarts is the first deep learning-based automatic scoring system for steel-tip darts. It predicts dart scores from a single image taken from any camera angle.
☆161Jun 14, 2021Updated 4 years ago
Alternatives and similar repositories for deep-darts
Users that are interested in deep-darts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dart Scoring application☆21Mar 17, 2026Updated 3 weeks ago
- ☆11Jan 15, 2022Updated 4 years ago
- CTA Transit API☆21Nov 20, 2011Updated 14 years ago
- GIS data from our database☆11May 5, 2024Updated last year
- RShiny app to upload and analyze trend and seasonality of transit ridership data☆16May 29, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Companion repo for my series of posts about Wagtail as a headless CMS☆14Dec 15, 2023Updated 2 years ago
- Wagtail headless preview proof-of-concept☆11Oct 3, 2023Updated 2 years ago
- CLI AI assistant doing your code reviews☆12Updated this week
- Esphome TTGO T-Display with Apple Remote Control☆22May 29, 2020Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A single-sign-on JWT server☆12Apr 27, 2017Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Scroll Spy component for Svelte☆38Jan 4, 2023Updated 3 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆13Mar 11, 2021Updated 5 years ago
- Turn a PS2 Controller into a Bluetooth Controller!☆19Jul 6, 2019Updated 6 years ago
- WooCommerce Product Bundles plugin that allows you to define min/max bundled item count constraints.☆13Sep 25, 2020Updated 5 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 4 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- Bulk discounts and dynamic pricing rules for WooCommerce Product Bundles.☆17Sep 19, 2024Updated last year
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple, lightweight, middleware oriented router for react applications☆14Mar 2, 2023Updated 3 years ago
- Elm course held for high school students.☆12Dec 5, 2015Updated 10 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- Composite Products mini-extension that allows you to conditionally overlay additional images over the main Composite Product image.☆14Sep 1, 2025Updated 7 months ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated 10 months ago
- Find your most-used shell commands☆13Dec 14, 2020Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Haskell type introduction illustrated☆17May 3, 2017Updated 8 years ago
- 📦 Fullstack Warehouse Management Application☆12Aug 26, 2021Updated 4 years ago
- Asynchronous script loading for SPAs☆17Nov 12, 2022Updated 3 years ago
- Very simple Haskell script to uninstall cabal packages☆28May 28, 2015Updated 10 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Experimental web browser☆21Mar 15, 2012Updated 14 years ago
- Tools for MIL, a Monadic Intermediate Language☆24Oct 24, 2025Updated 5 months ago