The AT Protocol (🦋 Bluesky) SDK for Python 🐍
-
Updated
Dec 20, 2024 - Python
#
atp
Here are 57 public repositories matching this topic...
The Microsoft Defender for Office 365 Recommended Configuration Analyzer (ORCA)
-
Updated
Jun 20, 2024 - PowerShell
🦋 Bluesky custom feed algorithms server in Python 🐍
-
Updated
Dec 11, 2024 - 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.
nba nfl basketball hockey soccer espn afl ncaa baseball home-assistant football mlb mls nhl atp ufc pga volleyball wta teamtracker
-
Updated
Nov 16, 2024 - Python
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers
-
Updated
Oct 1, 2024 - OCaml
A minimum viable atproto PDS for protocol experimentation purposes
-
Updated
Nov 15, 2024 - Python
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
-
Updated
Sep 26, 2024 - Scala
A PHP library for integrating with and communicating over the AT Protocol
-
Updated
Dec 1, 2024 - PHP
Predicts the winner of a tennis match with machine learning
-
Updated
Oct 20, 2024 - Python
ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation
directed-graph atp graph-embedding directed-acyclic-graph aaai2019 asymmetric-transitivity directed-graph-embedding
-
Updated
Apr 18, 2019 - Cuda
A PHP-based Lexicon parser for applications using the AT Protocol
-
Updated
May 1, 2024 - PHP
Haskell interface to automated theorem provers
haskell logic theorem-proving first-order-logic formal-methods tptp atp prover automated-theorem-provers
-
Updated
Feb 10, 2022 - Haskell
[WIP]Bluesky API Client for AT Protocol
lexicon atp ghostwriter bluesky bluesky-webclient atprotocol atproto bluesky-app bluesky-client bluesky-feed bluesky-generator bluesky-social bluesky-api bluesky-bot
-
Updated
Dec 25, 2024 - PHP
Get the best insights to bet on ATP/WTA matches
-
Updated
Jun 12, 2017 - Python
Improve this page
Add a description, image, and links to the atp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the atp topic, visit your repo's landing page and select "manage topics."