PyRank

Axioms Python Packages

Python packages with the GitHub topic axioms. Sorted by monthly downloads, with stars and forks.
webis-de
ir-axioms

↕️ Intuitive axiomatic retrieval experimentation.

2K 31 2
vince-gonzalez
axsent

Measure what a formal library assumes: Rocq, Agda and Isabelle, from source, with nothing built

127 0 0