Popular repositories Loading

1. rift rift Public

   Rift: an AI-native language server for your personal AI software engineer

   Python 3k 145

2. gpt-engineer gpt-engineer Public

   Forked from gpt-engineer-org/gpt-engineer

   Specify what you want it to build, the AI asks for clarification, and then builds it.

   Python 10 3

3. morph-prover-cli morph-prover-cli Public

   Python 8 2

4. 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 8

5. aider aider Public

   Forked from paul-gauthier/aider

   aider is GPT powered coding in your terminal

   Python 2 1

6. code-instruct-dataset code-instruct-dataset Public

   1