Will-Howard / manifolio

Related projects: ⓘ

• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆33Updated 3 months ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆59Updated 3 weeks ago
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆63Updated last month
• bcongdon / PyManifold
  Python API client for Manifold Markets
  ☆13Updated last year
• quantified-uncertainty / squiggle
  An estimation language
  ☆150Updated this week
• g-leech / argmin-gravitas
  a simulacrum standing in place of Gavin Leech
  ☆14Updated last week
• ansonyuu / levers
  A Living Database of Methods to Accelerate Science and Technology
  ☆29Updated last month
• RafaelCosman / gpt-generated-textbooks
  Code to generate textbooks using GPT as well as several fully-generated examples
  ☆18Updated last year
• kagisearch / llm-chess-puzzles
  Benchmark LLM reasoning capability by solving chess puzzles.
  ☆60Updated 4 months ago
• mwhea / Manifold_Trading_Bots
  ☆13Updated last year
• socketteer / worldspider
  gpt completions in vscode
  ☆30Updated last year
• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆97Updated this week
• NunoSempere / longNowForMd
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 3 months ago
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆37Updated 3 months ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆29Updated 8 months ago
• Mira-public / manifold-sudoku
  ☆14Updated 6 months ago
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆59Updated last year
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆107Updated 2 years ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆84Updated 4 years ago
• Kiv / fancy_einsum
  Einsum with einops style variable names
  ☆14Updated 4 months ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆72Updated 8 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆35Updated last week
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆41Updated 5 months ago
• fullthom / chat-gpt-quine
  ☆123Updated last year
• adamkarvonen / chess_llm_interpretability
  Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …
  ☆190Updated 3 months ago
• michaelhodel / arc-dsl
  Domain Specific Language for the Abstraction and Reasoning Corpus
  ☆152Updated last month
• adamimos / epsilon-transformers
  epsilon machines and transformers!
  ☆22Updated 2 weeks ago
• pytorch / expecttest
  ☆71Updated last month
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆104Updated 4 months ago