atomflunder / TrueSkill-CalculatorLinks
Online calculator for the TrueSkill rating system
☆16Updated 3 months 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
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year
- Classification of combinatorial objects☆18Updated this week
- ☆35Updated last month
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Updated 11 months ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆32Updated this week
- LLVM support for the lean theorem prover☆51Updated 3 years ago
- ☆50Updated 3 years ago
- a collection of Gymnasium environments for saturation provers☆22Updated 2 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated 11 months ago
- Bonn Lean course for winter 24/25☆35Updated 3 weeks ago
- ☆19Updated 8 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated last week
- plasTeX plugin to build formalization blueprints.☆235Updated 2 months ago
- ☆21Updated last year
- Example formalization of Game Theoretic concepts in Lean☆21Updated 6 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Notes on Algorythmic Computer Science - Wroclaw University of Science and Technology - Informatyka Algorytmiczna - Politechnika Wrocławsk…☆35Updated last month
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Interactive neural theorem proving in Lean☆125Updated 3 years ago
- A Rust hashconsing library.☆33Updated last year
- ☆13Updated 4 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 6 months ago
- A "code intepreter" for Lean☆69Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated last week
- Finite Fields and Curves in Lean☆13Updated 2 years ago