The AT Protocol (🦋 Bluesky) SDK for Python 🐍

• UpdatedMar 15, 2025
• Python

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

• UpdatedJun 20, 2024
• PowerShell

🦋 Bluesky custom feed algorithms server in Python 🐍

• UpdatedFeb 25, 2025
• 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.

• UpdatedMar 13, 2025
• Python

• UpdatedMar 16, 2025
• C

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

• UpdatedOct 1, 2024
• OCaml

A minimum viable atproto PDS for protocol experimentation purposes

• UpdatedNov 15, 2024
• Python

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

• UpdatedFeb 20, 2025
• Scala

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

• UpdatedFeb 1, 2025
• PHP

Predicts the winner of a tennis match with machine learning

• UpdatedFeb 21, 2025
• Python

A command line tool for the Authenticated Transfer Protocol

• UpdatedNov 15, 2024
• Rust

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

• UpdatedSep 8, 2024
• JavaScript

ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

• UpdatedApr 18, 2019
• Cuda

Haskell interface to automated theorem provers

• UpdatedFeb 10, 2022
• Haskell

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

• UpdatedMay 1, 2024
• PHP

Z3 tutorials from the rise4fun website

• UpdatedAug 7, 2022
• JavaScript

Data extraction and modelling for the tennis blog

• UpdatedJan 18, 2024
• Jupyter Notebook

Run ATPs from SystemOnTPTP

• UpdatedJul 8, 2019
• Haskell

[WIP]Bluesky API Client for AT Protocol

• UpdatedMar 16, 2025
• PHP

Get the best insights to bet on ATP/WTA matches

• UpdatedJun 12, 2017
• Python