atomflunder / TrueSkill-CalculatorLinks
Online calculator for the TrueSkill rating system
☆16Updated 3 weeks ago
Alternatives and similar repositories for TrueSkill-Calculator
Users that are interested in TrueSkill-Calculator are comparing it to the libraries listed below
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- The TrueSkill Through Time Python Package☆37Updated last week
- TrueSkill Through Time: the Julia, Python and R packages.☆25Updated 4 months ago
- Extensions to the Elo algorithm implemented in JAX☆13Updated 2 years ago
- An implementation of the Elo rating system with a sklearn interface.☆14Updated 2 years ago
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆18Updated 3 years ago
- ☆13Updated 3 years ago
- This repository is a mirror. If you want to raise an issue or contact us, we encourage you to do it on Gitlab (https://gitlab.com/agrumer…☆40Updated 3 weeks ago
- Margin-dependent Elo ratings and predictions☆16Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A formally verified bug finder☆14Updated 6 months ago
- ☆13Updated last week
- State-space model perspective on rating systems (pairwise comparisons).☆17Updated 3 months ago
- UFC Fight Predictor☆43Updated 3 years ago
- Python package for pairwise ranking☆14Updated 7 months ago
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- ☆21Updated last year
- Example formalization of Game Theoretic concepts in Lean☆20Updated 3 months ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Rust bindings to [primesieve](http://primesieve.org)☆9Updated 8 years ago
- ☆10Updated 5 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆25Updated this week
- Python tools for the K Framework☆13Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆26Updated this week
- Tools for generating and comparing Decorated Merge Trees, enriched persistence-based topological data descriptors.☆17Updated 2 years ago
- A new framework to generate interpretable classification rules☆17Updated 2 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆17Updated this week
- ☆10Updated 5 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago