Alternatives and similar repositories for TrueSkill-Calculator

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

• Inaxo / MathLib
  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
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 3 weeks ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Updated 11 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 7 months ago
• kkrawiec / CDGP
  Counterexample-Driven Genetic Programming
  ☆18Updated 3 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆14Updated 2 years ago
• abetten / orbiter
  Classification of combinatorial objects
  ☆19Updated last week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 6 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆28Updated 4 years ago
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated last month
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• davidcamilo0710 / qatar_2022_prediction
  QATAR 2022 World Cup prediction from the international matches played since the 90s, the qualifications of the teams in their last matche…
  ☆32Updated 2 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆20Updated 4 years ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆132Updated 3 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆50Updated 3 weeks ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆22Updated 4 months ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆22Updated 3 weeks ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆16Updated last month
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• sublee / glicko2
  An implementation of the Glicko-2 rating system for Python
  ☆123Updated 3 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago