atp

There are 0 repository under atp topic.

• cammurray / orca

  The Microsoft Defender for Office 365 Recommended Configuration Analyzer (ORCA)

  atpexchange-onlinemdoorcapowershell-gallerythreat-protection
  Language:PowerShell 273
• atproto

  MarshalX / atproto

  The AT Protocol (🦋 Bluesky) SDK for Python 🐍

  at-protocolatpatprotoatprotocolblueskybluesky-clientbluesky-feedbskydidsocial-mediaxrpc
  Language:Python 256

• Seb943 / scrapeOP

  A python package for scraping oddsportal.com

  sportsanalyticsbettingbetting-oddsnbaatpatp-matcheschampions-leagueesportsbaseballtennistennis-datasetrugbynfloddsportalodds-portalwebscraping-datadatasetssports-data
  Language:Python 196

• vasqued2 / ha-teamtracker

  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.

  nbanflnhlmlsmlbespnncaabasketballbaseballfootballhockeysoccervolleyballhome-assistantteamtrackerpgaatpaflwtaufc
  Language:Python 132

• eprover / eprover

  proveratpreasoning
  Language:C 122

• MarshalX / bluesky-feed-generator

  🦋 Bluesky custom feed algorithms server in Python 🐍

  atpatprotoblueskybluesky-feedbluesky-generatorbskycustom-feedfeed-generator
  Language:Python 99

• Gbury / dolmen

  Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

  parselanguagefunctorsmt-libflexible-parserstptpocamlocaml-libraryatpmodeltheorem-provingtypechecker
  Language:OCaml 75

• DavidBuchanan314 / picopds

  A minimum viable atproto PDS for protocol experimentation purposes

  atpatprotoatprotocolpdsatproto-pds
  Language:Python 41

• leoprover / Leo-III

  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

  higher-order-logictheorem-provinglogicreasoningatpdeduction-system
  Language:Scala 41

• socialweb-php / atproto

  A PHP library for integrating with and communicating over the AT Protocol

  atpatprotoatprotocolbluesky
  Language:PHP 28
• Tennis-Prediction

  VincentAuriau / Tennis-Prediction

  Prediction of the winner of a tennis matches with machine learning

  datadata-sciencemachine-learningtennisatp
  Language:Python 20

• nrempel / atp

  A command line tool for the Authenticated Transfer Protocol

  atpatprotoblueskybsky
  Language:Rust 13

• philzook58 / z3-rise4fun

  Z3 tutorials from the rise4fun website

  atpsmtz3
  Language:JavaScript 9

• zhenv5 / atp

  ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

  aaai2019atpasymmetric-transitivitydirected-graphgraph-embeddingdirected-graph-embeddingdirected-acyclic-graph
  Language:Cuda 9

• socialweb-php / atproto-lexicon

  A PHP-based Lexicon parser for applications using the AT Protocol

  atpatprotocolblueskylexicon
  Language:PHP 7

• aztek / atp

  Haskell interface to automated theorem provers

  atpautomated-theorem-proversfirst-order-logicformal-methodshaskelllogicprovertheorem-provingtptp
  Language:Haskell 6

• Bomada / tennis-blog

  Data extraction and modelling for the tennis blog

  portfoliomltennisatpfantasypython
  Language:Jupyter Notebook 6

• jonaprieto / online-atps

  Run ATPs from SystemOnTPTP

  atpeprovermetistheoremtptpvampire
  Language:Haskell 6

• marcvincenti / tennisbetter

  Get the best insights to bet on ATP/WTA matches

  clojureclojurescriptatptennismachine-learningawsreact
  Language:Python 5

• munizrodrigo / atp-cases-generator

  A tool to automatically generate the ATP software input files from the technical information of the electrical power systems.

  atpemtppowersystemssimulationelectrical-engineering
  Language:HTML 3

• Tr4pSec / MDATP-Hunting-Queries

  Advanced Hunting Queries for Microsoft Defender Advanced Threat Protection

  atphuntingmdatp
  3

• xavikortes / ATP-Probability

  Probability engine to predict tennis matches result

  atptennisstatsprobabilitystatistics
  Language:Python 3

• chouhy / ATPRanking

  Demo Animation

  atprankinganimationtennishistoryvisualize
  Language:HTML 2

• felipecosta09 / DDI-AWS-Demo

  Demo environment to deploy Deep Discovery Inspector on AWS.

  trendmicrodeepdiscoveryatpawscloudformationcybersecurity
  2

• jpawlata / ATP_Ranking

  Python scraper for ATP Ranking Singles tennis data

  pythonatpatp-singlesscraperatp-ranking
  Language:Jupyter Notebook 2

• msolonskyi / ManTennisData

  ATP and DC Tennis Results and Statistics

  tennisstatisticsatpdavis-cupdataset
  2

• Seb943 / Markov4Tennis

  R script to modelize a tennis match with Markov chains (games, tie-breaks, sets, match)

  atptennismarkov-chainmarkovhhmmsportbookmakersmarkov-modelmarkov-chainshiehidden-markov-modelhidden-markov-models
  Language:R 2

• Tennismylife / Tennis-R-ecord-Animation

  Animation for all tennis statistics

  tennisanimationatp
  Language:R 2

• comonetizer / AllTerraPros

  Terra Pros engine & ATP Monetizer

  terraproductivitywebaienginemonetizerosatp
  Language:Vue 1

• ghostwriter / atprotocol

  [WIP]Bluesky API Client for AT Protocol

  atpatprotoatprotocolblueskybluesky-apibluesky-appbluesky-botbluesky-clientbluesky-feedbluesky-generatorbluesky-socialbluesky-webclientghostwriterlexicon
  Language:PHP 1

• m-clark / atpRankingsHistory

  a look at the big 4

  tennisatprankings
  Language:R 1

• ruancarllo / atp

  Exercícios da disciplina de Algoritmos e Técnicas de Programação I

  atpexerciciosunesp
  Language:C++ 1

• mpomar / TennisAnalysis

  A tool to help you in the comparative analysis of two ATP tennis players.

  pythonscrapersportsportssports-statstennistennis-playerswebscraperwebscrapingatp
  Language:Python 0

• Open-Credentialing-Initiative / Tracing-Conformance-Criteria

  Intended for tracing service providers who wish to implement Authorized Trading Partner (ATP) credentialing in an Open Credentialing Initiative (OCI)-compliant way under the US Drug Supply Chain Security Act (DSCSA). Implementation means the integration of OCI trust architecture components.

  atpdscsa
  Language:HTML 0

• adrianhrb / atp_api

  Repo dedicated to load tennis data and build an API REST around that

  atpdjangodjango-rest-frameworkpythontenis
  Language:Python

• jameswmiller / ATP_project

  Data Science Project analysing Association of Tennis Professional's (ATP) data.

  atpdata-scienceedamachine-learningtennissportssports-analyticssports-statstennis-analytics
  Language:Jupyter Notebook