ghostwriter/atprotocol

[WIP]Bluesky API Client for AT Protocol

Language: PHP - Size: 1.88 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 5 - Forks: 0

MarshalX/bluesky-feed-generator

🦋 Bluesky custom feed algorithms server in Python 🐍

Language: Python - Size: 68.4 KB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 276 - Forks: 87

leoprover/Leo-III

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

Language: Scala - Size: 34 MB - Last synced at: about 20 hours ago - Pushed at: 30 days ago - Stars: 46 - Forks: 10

eprover/eprover

Language: C - Size: 147 MB - Last synced at: about 12 hours ago - Pushed at: about 12 hours ago - Stars: 139 - Forks: 25

DavidBuchanan314/picopds

A minimum viable atproto PDS for protocol experimentation purposes

Language: Python - Size: 148 KB - Last synced at: 7 days ago - Pushed at: 6 months ago - Stars: 64 - Forks: 3

Gbury/dolmen

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

Language: OCaml - Size: 11.2 MB - Last synced at: 3 days ago - Pushed at: 10 days ago - Stars: 85 - Forks: 18

socialweb-php/atproto-lexicon

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

Language: PHP - Size: 270 KB - Last synced at: 12 days ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 5

VincentAuriau/Tennis-Prediction

Predicts the winner of a tennis match with machine learning

Language: Python - Size: 5.74 MB - Last synced at: 12 days ago - Pushed at: 2 months ago - Stars: 36 - Forks: 10

msolonskyi/ManTennisData

ATP and DC Tennis Results and Statistics

Language: HTML - Size: 80.5 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 0

MarshalX/atproto

The AT Protocol (🦋 Bluesky) SDK for Python 🐍

Language: Python - Size: 2.43 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 560 - Forks: 64

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: 819 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 219 - Forks: 25

cammurray/orca

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

Language: PowerShell - Size: 676 KB - Last synced at: 29 days ago - Pushed at: 11 months ago - Stars: 324 - Forks: 53

benoitgrasset/atp-ranking

Language: TypeScript - Size: 259 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

rf1056/tennis-matches-predictions

This project aims to predict tennis match results using machine learning, specifically the XGBoost algorithm. The predictions are integrated into an interactive web app built with Streamlit.

Language: Python - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

socialweb-php/atproto

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

Language: PHP - Size: 90.8 KB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 42 - Forks: 2

TecExpo/TecXATP

Algo Trading Platform

Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Seagat2011/Anthropic-Claude-Mathematical-Proof-Solver-

An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.

Language: JavaScript - Size: 190 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

aztek/atp

Haskell interface to automated theorem provers

Language: Haskell - Size: 352 KB - Last synced at: 11 days ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 0

LiarPrincess/ATP-Tennis-awards-2024

ATP end of the year awards.

Language: HTML - Size: 33.3 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

alextecplayz/alextecplayz.github.io-media

Images to be used on my website, such as full-resolution, high-quality media. These aren't deemed essential to be included in the website repo, because of their size.

Size: 139 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

nrempel/atp

A command line tool for the Authenticated Transfer Protocol

Language: Rust - Size: 26.4 KB - Last synced at: 12 days ago - Pushed at: 6 months ago - Stars: 14 - 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 at: about 2 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 1

FabioSmuu/Bsky-bot

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

Language: JavaScript - Size: 21.5 KB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 14 - Forks: 0

Open-Credentialing-Initiative/Credential-Issuer-Conformance-Criteria

Conformance criteria for service providers who wish to be recognized by OCI as Credential Issuers

Language: HTML - Size: 207 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 1

felipecosta09/DDI-AWS-Demo

Demo environment to deploy Deep Discovery Inspector on AWS.

Size: 110 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 2

Seagat2011/Euclid-Automated-Theorem-Prover

Automated Theorem Prover written in javascript HTML5 CSS3

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

zhenv5/atp

ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation

Language: Cuda - Size: 6.76 MB - Last synced at: 11 days ago - Pushed at: about 6 years ago - Stars: 10 - Forks: 2

ieiou/Labs-ATP

Esse repositório contém algumas atividades da matéria ATP que foram desenvolvidas durante as aulas práticas no primeiro período.

Language: C# - Size: 328 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

PratesVitor/LabsATP

Repositório criado para armazenar atividades referentes aos Laboratórios da disciplina de ATP.

Language: C# - Size: 235 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

ieiou/Trabalho-Final-ATP

Esse projeto trata sobre a introdução do paradigma de Programação Orientada a Objetos. O objetivo principal desse projeto é praticar a modularização, abstração e herança das classes.

Language: C# - Size: 165 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

mpomar/TennisAnalysis

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

Language: Python - Size: 27.3 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ruancarllo/atp

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

Language: C++ - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

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 at: about 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

adrianhrb/atp_api

Repo dedicated to load tennis data and build an API REST around that

Language: Python - Size: 148 KB - Last synced at: 8 days ago - Pushed at: about 1 year 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 at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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

Z3 tutorials from the rise4fun website

Language: JavaScript - Size: 11.4 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 3

Bomada/tennis-blog

Data extraction and modelling for the tennis blog

Language: Jupyter Notebook - Size: 7.82 MB - Last synced at: 11 days ago - Pushed at: over 1 year 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 at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

glaucocustodio/got-tennis-bot

A fluffy yellow twitter bot

Language: Python - Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - 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 at: about 2 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

jonaprieto/online-atps

Run ATPs from SystemOnTPTP

Language: Haskell - Size: 508 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 1

xavikortes/ATP-Probability

Probability engine to predict tennis matches result

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

Tennismylife/Tennis-R-ecord-Tracker

A project to find all tennis records in R

Language: R - Size: 13.8 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Tennismylife/Tennis-R-ecord-Animation

Animation for all tennis statistics

Language: R - Size: 11.2 MB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

marcvincenti/tennisbetter

Get the best insights to bet on ATP/WTA matches

Language: Python - Size: 1.42 MB - Last synced at: 12 days ago - Pushed at: almost 8 years ago - Stars: 5 - Forks: 1

chouhy/ATPRanking

Demo Animation

Language: HTML - Size: 9.04 MB - Last synced at: about 2 months ago - Pushed at: over 6 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 at: about 2 months ago - Pushed at: about 6 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 at: about 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1

CellSMB/cardiac_bioenergetics

Spatiotemporal bioenergetics in the cardiac cell

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

m-clark/atpRankingsHistory

a look at the big 4

Language: R - Size: 1.45 MB - Last synced at: about 2 months ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0