atp

The AT Protocol (Bluesky) SDK for Python

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.

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

🦋 Bluesky custom feed algorithms server in Python 🐍

Agent Tool Protocol

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

Predicts the winner of a tennis match with machine learning

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

A command line tool for the Authenticated Transfer Protocol

Este repositório tem como intuito explorar um pouco da API do BlueSky.

Haskell interface to automated theorem provers

Z3 tutorials from the rise4fun website

ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

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

Run ATPs from SystemOnTPTP

Data extraction and modelling for the tennis blog

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