73 results for “topic:atp”
The AT Protocol (🦋 Bluesky) SDK for Python 🐍
The Microsoft Defender for Office 365 Recommended Configuration Analyzer (ORCA)
🦋 Bluesky custom feed algorithms server in Python 🐍
No description provided.
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Agent Tool Protocol
A minimum viable atproto PDS for protocol experimentation purposes
Predicts the winner of a tennis match with machine learning
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
A PHP library for integrating with and communicating over the AT Protocol
A command line tool for the Authenticated Transfer Protocol
Este repositório tem como intuito explorar um pouco da API do BlueSky.
A PHP-based Lexicon parser for applications using the AT Protocol
ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation
Haskell interface to automated theorem provers
Run ATPs from SystemOnTPTP
Data extraction and modelling for the tennis blog
Get the best insights to bet on ATP/WTA matches
StarExec-ARC is a framework for containerizing Automated Theorem Proving (ATP) systems. It simplifies the deployment and scaling of ATPs using Podman and Kubernetes, enabling researchers to easily benchmark solvers in a modern, containerized StarExec environment.
[WIP] Bluesky API Client for AT Protocol
ATP and DC Tennis Results and Statistics
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
Data Science Project analysing Association of Tennis Professional's (ATP) data.
R script to modelize a tennis match with Markov chains (games, tie-breaks, sets, match)
Real-time ATP & WTA dashboard with live scores, rankings, tournament calendars and draws, H2H analytics, player insights, and smart match notifications in one place.
Python scraper for ATP Ranking Singles tennis data
Desktop application and Gnome 3 shell extension to show ATP and WTA live tennis match scores and data.