There are 0 repository under atp topic.
Home Assistant integration that provides real-time scores in multiple professional (NBA, NFL, NHL, MLB, MLS, and more), college (NCAA), and international (soccer, golf, tennis, mma, racing) sports using ESPN APIs.
🦋 Bluesky custom feed algorithms server in Python 🐍
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
A minimum viable atproto PDS for protocol experimentation purposes
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
A PHP library for integrating with and communicating over the AT Protocol
Predicts the winner of a tennis match with machine learning
A PHP-based Lexicon parser for applications using the AT Protocol
Data extraction and modelling for the tennis blog
Get the best insights to bet on ATP/WTA matches
Demo environment to deploy Deep Discovery Inspector on AWS.
A tool to automatically generate the ATP software input files from the technical information of the electrical power systems.
Advanced Hunting Queries for Microsoft Defender Advanced Threat Protection
Probability engine to predict tennis matches result
Python scraper for ATP Ranking Singles tennis data
ATP and DC Tennis Results and Statistics
Repositório criado para armazenar atividades referentes aos Laboratórios da disciplina de ATP.
R script to modelize a tennis match with Markov chains (games, tie-breaks, sets, match)
Terra Pros engine & ATP Monetizer
[WIP]Bluesky API Client for AT Protocol
Exercícios da disciplina de Algoritmos e Técnicas de Programação I
lista de for e do_while da matéria algoritmos e técnicas de programação.
Esse repositório contém algumas atividades da matéria ATP que foram desenvolvidas durante as aulas práticas no primeiro período.
An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.