vasqued2/ha-teamtracker Fork of zacs/ha-nfl

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.

Language: Python - Size: 658 KB - Last synced: 2 minutes ago - Pushed: about 1 hour ago - Stars: 133 - Forks: 18

MarshalX/atproto

The AT Protocol (🦋 Bluesky) SDK for Python 🐍

Language: Python - Size: 1.84 MB - Last synced: about 15 hours ago - Pushed: 1 day ago - Stars: 260 - Forks: 27

leoprover/Leo-III

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

Language: Scala - Size: 36.3 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 41 - Forks: 7

msolonskyi/ManTennisData

ATP and DC Tennis Results and Statistics

Size: 37.3 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 2 - Forks: 0

ghostwriter/atprotocol

[WIP]Bluesky API Client for AT Protocol

Language: PHP - Size: 976 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 1 - Forks: 0

VincentAuriau/Tennis-Prediction

Prediction of the winner of a tennis matches with machine learning

Language: Python - Size: 3.55 MB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 20 - Forks: 5

eprover/eprover

Language: C - Size: 139 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 122 - Forks: 24

socialweb-php/atproto

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

Language: PHP - Size: 93.8 KB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 28 - Forks: 3

MarshalX/bluesky-feed-generator

🦋 Bluesky custom feed algorithms server in Python 🐍

Language: Python - Size: 48.8 KB - Last synced: 17 days ago - Pushed: 2 months ago - Stars: 99 - Forks: 23

ruancarllo/atp

Exercícios da disciplina de Algoritmos e Técnicas de Programação I

Language: C++ - Size: 6.84 KB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

ait-testbed/atb-ansible-zoneminder

AECID Testbed Ansible Role that installs a vulnerable zoneminder

Size: 7.81 KB - Last synced: about 1 month ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

Seagat2011/Euclid-Automated-Theorem-Prover

Automated Theorem Prover written in javascript HTML5 CSS3

Language: JavaScript - Size: 1.98 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

CellSMB/cardiac_bioenergetics

Spatiotemporal bioenergetics in the cardiac cell

Language: Fortran - Size: 17.1 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 3

chouhy/ATPRanking

Demo Animation

Language: HTML - Size: 9.04 MB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 1

cammurray/orca

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

Language: PowerShell - Size: 670 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 255 - Forks: 42

DavidBuchanan314/picopds

A minimum viable atproto PDS for protocol experimentation purposes

Language: Python - Size: 145 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 38 - Forks: 1

zhenv5/atp

ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

Language: Cuda - Size: 6.76 MB - Last synced: 3 months ago - Pushed: about 5 years ago - Stars: 9 - Forks: 2

philzook58/z3-rise4fun Fork of bramvdbogaerde/z3-wasm

Z3 tutorials from the rise4fun website

Language: JavaScript - Size: 11.4 MB - Last synced: 16 days ago - Pushed: almost 2 years ago - Stars: 9 - Forks: 3

munizrodrigo/atp-cases-generator

A tool to automatically generate the ATP software input files from the technical information of the electrical power systems.

Language: HTML - Size: 57.6 MB - Last synced: 4 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0

Bomada/tennis-blog

Data extraction and modelling for the tennis blog

Language: Jupyter Notebook - Size: 7.82 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 6 - Forks: 1

Open-Credentialing-Initiative/Tracing-Conformance-Criteria

Intended for tracing service providers who wish to implement Authorized Trading Partner (ATP) credentialing in an Open Credentialing Initiative (OCI)-compliant way under the US Drug Supply Chain Security Act (DSCSA). Implementation means the integration of OCI trust architecture components.

Language: HTML - Size: 64.5 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

socialweb-php/atproto-lexicon

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

Language: PHP - Size: 270 KB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 7 - Forks: 2

Gbury/dolmen

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

Language: OCaml - Size: 10.2 MB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 75 - Forks: 16

mpomar/TennisAnalysis

A tool to help you in the comparative analysis of two ATP tennis players.

Language: Python - Size: 27.3 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

aztek/atp

Haskell interface to automated theorem provers

Language: Haskell - Size: 352 KB - Last synced: 27 days ago - Pushed: over 2 years ago - Stars: 6 - Forks: 0

jameswmiller/ATP_project

Data Science Project analysing Association of Tennis Professional's (ATP) data.

Language: Jupyter Notebook - Size: 65.6 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 1

jonaprieto/online-atps

Run ATPs from SystemOnTPTP

Language: Haskell - Size: 508 KB - Last synced: 7 months ago - Pushed: almost 5 years ago - Stars: 6 - Forks: 1

m-clark/atpRankingsHistory

a look at the big 4

Language: R - Size: 1.45 MB - Last synced: 10 months ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

marcvincenti/tennisbetter

Get the best insights to bet on ATP/WTA matches

Language: Python - Size: 1.42 MB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 5 - Forks: 1

glaucocustodio/got-tennis-bot

A fluffy yellow twitter bot

Language: Python - Size: 15.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

nrempel/atp

A command line tool for the Authenticated Transfer Protocol

Language: Rust - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 13 - Forks: 0

myConsciousness/atproto-core

This package provides core reusable and useful functionality for wrapping At Protocol and related services.

Language: Dart - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

Seb943/scrapeOP

A python package for scraping oddsportal.com

Language: Python - Size: 6.39 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 99 - Forks: 45

xavikortes/ATP-Probability

Probability engine to predict tennis matches result

Language: Python - Size: 26.4 KB - Last synced: 4 months ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

Seb943/Markov4Tennis

R script to modelize a tennis match with Markov chains (games, tie-breaks, sets, match)

Language: R - Size: 409 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 1

felipecosta09/DDI-AWS-Demo

Demo environment to deploy Deep Discovery Inspector on AWS.

Size: 110 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 1

abhijeetsingh1704/ATP_for_peptide

This programs calculates the approximate energy (ATP) required to form a peptide chain

Language: Shell - Size: 26.4 KB - Last synced: 4 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

r13i/tennis-match-prediction

Predict ATP / WTA tennis match winner [Work In Progress]

Language: Jupyter Notebook - Size: 177 KB - Last synced: 24 days ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1