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