Python tools for working with Manifold Markets
☆41Jul 10, 2026Updated last month
Alternatives and similar repositories for manifoldpy
Users that are interested in manifoldpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A market-making bot for Manifold's prediction markets☆44Jul 4, 2024Updated 2 years ago
- ☆14Jun 7, 2023Updated 3 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆68Feb 9, 2025Updated last year
- Manifold Markets: A market for every question☆515Updated this week
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆19Apr 18, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple prediction market platform☆43Mar 16, 2025Updated last year
- Beeminder library for Python☆26Jan 27, 2024Updated 2 years ago
- How accurate are prediction markets?☆33Apr 3, 2026Updated 4 months ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆218Aug 11, 2026Updated last week
- The fastest way to make and track predictions☆60Jun 12, 2026Updated 2 months ago
- (Model-written) LLM evals library☆19Dec 13, 2024Updated last year
- A math language for dimensional analysis☆24May 19, 2023Updated 3 years ago
- Open Source Chess Game for Windows developed in C#☆10Dec 29, 2017Updated 8 years ago
- Extensible esoteric programming language interpreter written in Python 3. *Not in active development/contributors needed*☆19Jun 14, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A centralized repository for network analysis tools.☆11Dec 16, 2019Updated 6 years ago
- Basic watch face for Garmin watch☆10Feb 23, 2018Updated 8 years ago
- StyleGAN2 - Official TensorFlow Implementation☆12Jul 15, 2020Updated 6 years ago
- Chess game in C#/WPF☆16Jan 23, 2017Updated 9 years ago
- Utilities and information for the signals.numer.ai tournament☆25Oct 6, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- C++ implementation of a MCMC sampler for the (canonical) SBM☆11Oct 21, 2019Updated 6 years ago
- Prediction Market Platform: Easy to Deploy, Open Source MIT Licensed☆221Aug 11, 2026Updated last week
- Dynamic programming algorithms for exact linear clustering in networks.☆16Jul 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Day 2 of Lambda School's Machine Learning Mini Bootcamp☆10Aug 31, 2018Updated 7 years ago
- Redwood Research's transformer interpretability tools☆15Apr 15, 2022Updated 4 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated last month
- Nix + Lean = Nale☆12Jul 16, 2023Updated 3 years ago
- Benchmark to estimate model sycophancy☆33Nov 30, 2025Updated 8 months ago
- Utility functions to support analytics over FHIR in BigQuery or Apache Spark☆15Jan 8, 2024Updated 2 years ago
- z3-powered solver (theorem prover) for deal☆18Sep 28, 2023Updated 2 years ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- ☆35Jun 15, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Bayesian inference of effective contagion models from population level data, with STAN☆15Nov 9, 2020Updated 5 years ago
- ☆11Oct 1, 2025Updated 10 months ago
- ☆11Feb 25, 2020Updated 6 years ago
- Source code, data, analysis code of experiment for the paper "Force-directed graph layouts revisited: a new force based on the t-Distribu…☆13Dec 15, 2022Updated 3 years ago
- Compare PredictIt shares, betting odds, 538 models, Economist models, and polling in the 2020 U.S. Presidential election.☆17Feb 8, 2022Updated 4 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆49Apr 22, 2026Updated 3 months ago
- Variational Inference for Multiply-Reported social network data https://doi.org/10.1093/jrsssa/qnac004☆13Jun 2, 2024Updated 2 years ago