atp topic
List
atp repositories
orca
275
Stars
44
Forks
Watchers
The Microsoft Defender for Office 365 Recommended Configuration Analyzer (ORCA)
scrapeOP
204
Stars
75
Forks
Watchers
A python package for scraping oddsportal.com
dolmen
75
Stars
16
Forks
Watchers
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
picopds
41
Stars
2
Forks
Watchers
A minimum viable atproto PDS for protocol experimentation purposes
atproto
262
Stars
27
Forks
Watchers
The AT Protocol (🦋 Bluesky) SDK for Python 🐍
Leo-III
41
Stars
9
Forks
Watchers
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
bluesky-feed-generator
100
Stars
23
Forks
Watchers
🦋 Bluesky custom feed algorithms server in Python 🐍
Tennis-Prediction
20
Stars
6
Forks
Watchers
Prediction of the winner of a tennis matches with machine learning
atproto
29
Stars
3
Forks
Watchers
A PHP library for integrating with and communicating over the AT Protocol