anything you want can be built with morph cloud
☆28Oct 14, 2025Updated 6 months ago
Alternatives and similar repositories for morphcloud-examples-public
Users that are interested in morphcloud-examples-public are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆15Nov 6, 2024Updated last year
- Automatically annotates YOLO dataset using Moondream visual model☆19Aug 24, 2025Updated 8 months ago
- ☆14Apr 16, 2025Updated last year
- ☆12Jun 2, 2023Updated 2 years ago
- A platform for formalizing OEIS sequences in Lean 4☆19Apr 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆19Mar 4, 2025Updated last year
- Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.☆28Updated this week
- ☆15Apr 10, 2024Updated 2 years ago
- Zero-setup bash CLI that downloads full-resolution images from iCloud/Dropbox/Google Photos share links, bridging iPhone screenshots to r…☆36Mar 26, 2026Updated last month
- A Machine-to-Machine Interaction System for Lean 4.☆139Updated this week
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated 11 months ago
- GitHub action for standard CI in Lean projects☆32Apr 22, 2026Updated last week
- ☆61Dec 1, 2025Updated 4 months ago
- ☆19May 29, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A starter app to build AI powered chat bots with Astra DB and LlamaIndex☆73Feb 2, 2024Updated 2 years ago
- ☆46Sep 21, 2024Updated last year
- CLI for executing multiple commands in parallel with minimal footprint (~2KB).☆12Apr 14, 2026Updated 2 weeks ago
- 🌟 Stardex: Explore GitHub Stars Intelligently. Stardex is a powerful web app that lets you search, filter, and cluster any GitHub user's…☆14Mar 17, 2026Updated last month
- ☆12Apr 19, 2024Updated 2 years ago
- ☆17Apr 10, 2026Updated 2 weeks ago
- An implementation of the Augmented Random Search algorithm☆14Jan 29, 2022Updated 4 years ago
- ☆31Nov 16, 2025Updated 5 months ago
- Formalization of the Millennium Problems in Lean 4☆47Jan 16, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆110Updated this week
- Mind-wandering detector using EEG and ML☆10Aug 19, 2023Updated 2 years ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- Monorepo of utilities for integrating Effect with different frameworks and libraries.☆37Apr 22, 2026Updated last week
- cluster text embeddings with DBSCAN and HDBSCAN — parameter sweep, Excel export☆17Feb 21, 2026Updated 2 months ago
- An AI-powered game playing agent using Claude and PyBoy☆41Mar 9, 2025Updated last year
- Hypermodern Python Cookiecutter☆22Updated this week
- AI assistant that Intuitively Adapts to You☆79Feb 2, 2024Updated 2 years ago
- Semantic Robot Description Format☆21Apr 8, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15Apr 26, 2025Updated last year
- TOON as DSPy adapter☆25Feb 1, 2026Updated 2 months ago
- Fork of Flame repo for training of some new stuff in development☆19Updated this week
- OpenClaw Operator gives coding agents like Codex and Claude Code the context and playbooks needed to set up, validate, and troubleshoot a…☆19Mar 7, 2026Updated last month
- ☆11Dec 23, 2023Updated 2 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆32Feb 18, 2026Updated 2 months ago
- A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.☆22Jan 2, 2026Updated 3 months ago