jonathanpaulson / grabby_aliens

Related projects: ⓘ

• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆59Updated 3 weeks ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆61Updated this week
• socketteer / worldspider
  gpt completions in vscode
  ☆30Updated last year
• shawwn / wiki
  Research wiki
  ☆51Updated last year
• nialloc / GameOfLife
  The world's most expensive version of Conway's Game of Life - running on the Ethereum Blockchain
  ☆82Updated 3 years ago
• SpellcraftAI / cli
  All Spellcraft CLI tools.
  ☆73Updated last year
• rooteco / tweetscape
  the supercharged twitter feed
  ☆18Updated this week
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆33Updated 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
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• davis68 / martian-computing
  CS 498MC Martian Computing at the University of Illinois at Urbana–Champaign
  ☆57Updated 2 years ago
• jayhack / llm.sh
  GPT-3 on your command line
  ☆131Updated last year
• StampyAI / stampy
  A Discord bot for the Robert Miles AI server
  ☆37Updated 3 months ago
• thesephist / ycvibecheck
  Semantic search across every YC company ever. Vibe check your idea?
  ☆58Updated last year
• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆97Updated this week
• mitchellfchan / IKB
  Ethereum smart contract and related DApps for Digital Zones of Immaterial Pictorial Sensibility
  ☆15Updated 2 years ago
• danielgross / embedland
  A collection of text embedding experiments
  ☆55Updated last year
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆28Updated 2 months ago
• Mira-public / manifold-sudoku
  ☆14Updated 6 months ago
• devonzuegel / smallworld
  Stay in touch with your friends around the world!
  ☆100Updated 3 months ago
• fredhohman / card-shuffling
  The Math of Card Shufflig
  ☆38Updated 2 years ago
• jbn / psychonaut
  Python async bluesky client and TUI (eventually)
  ☆40Updated last year
• ansonyuu / levers
  A Living Database of Methods to Accelerate Science and Technology
  ☆29Updated last month
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆59Updated last year
• 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
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆24Updated 5 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• Aperocky / cellular-automata
  ☆46Updated last year
• refcell / run-wild
  Augment GPT-4 Environment Access
  ☆288Updated last year
• kagisearch / llm-chess-puzzles
  Benchmark LLM reasoning capability by solving chess puzzles.
  ☆60Updated 4 months ago