The AT Protocol (🦋 Bluesky) SDK for Python 🐍

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

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 🐍

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

ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

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

Z3 tutorials from the rise4fun website

ATP and DC Tennis Results and Statistics

Run ATPs from SystemOnTPTP

Data extraction and modelling for the tennis blog