Pinned Repositories
aider
aider is GPT powered coding in your terminal
github-actions-example
lean-abc-true-almost-always
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
mentat
Mentat - The AI Coding Assistant
morph-typescript-sdk
A Typescript SDK for creating, managing, and interacting with Morph Cloud VMs.
morphcloud-examples-public
anything you want can be built with morph cloud
open-r1
Fully open reproduction of DeepSeek-R1
smol_dev
SWELancer-Benchmark
Set up SWE-Lancer 50X faster on Morph Cloud
morph-labs's Repositories
morph-labs/lean-abc-true-almost-always
morph-labs/morphcloud-examples-public
anything you want can be built with morph cloud
morph-labs/SWELancer-Benchmark
Set up SWE-Lancer 50X faster on Morph Cloud
morph-labs/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
morph-labs/github-actions-example
morph-labs/aider
aider is GPT powered coding in your terminal
morph-labs/morph-typescript-sdk
A Typescript SDK for creating, managing, and interacting with Morph Cloud VMs.
morph-labs/open-r1
Fully open reproduction of DeepSeek-R1
morph-labs/cloud-lora
morph-labs/mentat
Mentat - The AI Coding Assistant
morph-labs/morph-python-sdk
https://cloud.morph.so/docs
morph-labs/openai-cua-sample-app
morph-labs/smol_dev
morph-labs/vscode-lean4-fork
Visual Studio Code extension for the Lean 4 proof assistant
morph-labs/code-instruct-dataset
morph-labs/rift-visual-assets
morph-labs/browsers-sdk