The AT Protocol (🦋 Bluesky) SDK for Python 🐍

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

A python package for scraping oddsportal.com

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

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

A command line tool for the Authenticated Transfer Protocol

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

Haskell interface to automated theorem provers

Data extraction and modelling for the tennis blog

Run ATPs from SystemOnTPTP

Get the best insights to bet on ATP/WTA matches