Alternatives and similar repositories for TrueSkill-Calculator

Users that are interested in TrueSkill-Calculator are comparing it to the libraries listed below

• martiningram / jax_elo
  Extensions to the Elo algorithm implemented in JAX
  ☆13Updated 2 years ago
• glandfried / TrueSkillThroughTime.py
  The TrueSkill Through Time Python Package
  ☆37Updated last month
• glandfried / TrueSkillThroughTime
  TrueSkill Through Time: the Julia, Python and R packages.
  ☆25Updated 4 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆35Updated this week
• pfmonville / whole_history_rating
  a python convertion from the ruby implementation of Rémi Coulom's Whole-History Rating (WHR) algorithm.
  ☆61Updated last year
• daniel-monroe / lczero-training
  For code etc relating to the network training process.
  ☆21Updated 5 months ago
• DerwenAI / disparity_filter
  Implements a disparity filter in Python, based on graphs in NetworkX, to extract the multiscale backbone of a complex weighted network (S…
  ☆33Updated 2 years ago
• paulcbogdan / NFL-play-by-player
  This code simulates NFL games in a play-by-play fashion
  ☆23Updated 2 years ago
• SamDuffield / abile
  State-space model perspective on rating systems (pairwise comparisons).
  ☆17Updated 4 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆27Updated last week
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 9 months ago
• barakeel / oeis-synthesis
  ☆23Updated this week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆137Updated last year
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated last year
• sublee / glicko2
  An implementation of the Glicko-2 rating system for Python
  ☆121Updated 2 years ago
• mberk / shin
  Python implementation of Shin's method for calculating implied probabilities from bookmaker odds
  ☆85Updated 2 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated 10 months ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆25Updated 3 years ago
• sravanpannala / NBA-Tutorials
  NBA Analytics Tutorials
  ☆13Updated last year
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆62Updated last month
• MixedMatched / formalizing-game-theory
  Example formalization of Game Theoretic concepts in Lean
  ☆21Updated 4 months ago
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• SamotsvetyForecasting / optimal-scoring
  This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…
  ☆18Updated 3 years ago
• robert-frey / YouTube
  This is the source code provided for my videos on my YouTube channel.
  ☆20Updated 6 months ago
• sharmaabhishekk / ASA-Win-Probability-Model
  Implementing ASA's Win Probability Model
  ☆18Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• MRittinghouse / ProjektZero-LoL-Model
  An attempt at modeling win rates by player and by team for competitive League of Legends.
  ☆23Updated 3 years ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆84Updated 5 months ago
• csinpi / blade_chest
  blade-chest model for matchup and comparison prediction
  ☆14Updated 8 years ago