GitHub repository: max19931/arithmancer
Primary language: Python
Description: Logarithmic Market Scoring Rule Prediction Market