Repositories list

• morph-python-sdk

  Public
  A Python SDK and CLI tool for creating, managing, and interacting with Morph Cloud VMs.

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 6, 2025Jan 6, 2025

• github-actions-example

  Public
  C

  •

  Apache License 2.0

  •0•1•0•0•Updated Jan 2, 2025Jan 2, 2025

• morph-typescript-sdk

  Public
  A Typescript SDK for creating, managing, and interacting with Morph Cloud VMs.

  TypeScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 28, 2024Dec 28, 2024

• vscode-lean4-fork

  Public
  Visual Studio Code extension for the Lean 4 proof assistant

  TypeScript

  •

  Apache License 2.0

  •52•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• llm-verified-with-monte-carlo-tree-search

  Public
  LLM verified with Monte Carlo Tree Search

  Python

  •

  MIT License

  •27•9•0•0•Updated Nov 15, 2023Nov 15, 2023

• rift-visual-assets

  Public
  Apache License 2.0

  •0•0•0•0•Updated Oct 2, 2023Oct 2, 2023

• aider

  Public
  aider is GPT powered coding in your terminal

  Python

  •

  Apache License 2.0

  •2.3k•2•0•1•Updated Sep 29, 2023Sep 29, 2023

• gpt-engineer

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

  Python

  •

  MIT License

  •6.9k•11•0•1•Updated Sep 29, 2023Sep 29, 2023

• smol_dev

  Public
  Python

  •

  MIT License

  •1k•1•0•0•Updated Sep 28, 2023Sep 28, 2023

• cloud-lora

  Public
  Python

  •2•1•0•0•Updated Sep 16, 2023Sep 16, 2023

• mentat

  Public
  Mentat - The AI Coding Assistant

  Python

  •

  Apache License 2.0

  •244•1•0•0•Updated Aug 30, 2023Aug 30, 2023

• code-instruct-dataset

  Public
  0•1•2•0•Updated Jul 2, 2023Jul 2, 2023