Popular repositories Loading

1. lean-abc-true-almost-always lean-abc-true-almost-always Public

   Lean 80 6

2. morphcloud-examples-public morphcloud-examples-public Public

   anything you want can be built with morph cloud

   Python 23 12

3. llm-verified-with-monte-carlo-tree-search llm-verified-with-monte-carlo-tree-search Public

   Forked from namin/llm-verified-with-monte-carlo-tree-search

   LLM verified with Monte Carlo Tree Search

   Python 10 1

4. SWELancer-Benchmark SWELancer-Benchmark Public

   Forked from openai/SWELancer-Benchmark

   Set up SWE-Lancer 50X faster on Morph Cloud

   Python 10 1

5. github-actions-example github-actions-example Public

   C 5 1

6. aider aider Public

   Forked from Aider-AI/aider

   aider is GPT powered coding in your terminal

   Python 3 1