anything you want can be built with morph cloud
☆27Oct 14, 2025Updated 5 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:
- Automatically annotates YOLO dataset using Moondream visual model☆20Aug 24, 2025Updated 7 months ago
- A platform for formalizing OEIS sequences in Lean 4☆19Updated this week
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆19Mar 4, 2025Updated last year
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Updated this week
- Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.☆28Mar 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆15Apr 10, 2024Updated last year
- 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 week
- A Machine-to-Machine Interaction System for Lean 4.☆137Updated this week
- GitHub action for standard CI in Lean projects☆31Mar 3, 2026Updated last month
- ☆59Dec 1, 2025Updated 4 months ago
- ☆18May 29, 2024Updated last year
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- ☆17Mar 4, 2026Updated last month
- ☆12Apr 19, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An implementation of the Augmented Random Search algorithm☆14Jan 29, 2022Updated 4 years ago
- ☆30Nov 16, 2025Updated 4 months ago
- A search engine for Lean 4 declarations☆57Mar 22, 2026Updated 2 weeks ago
- Clustered Compositional Embeddings☆12Oct 25, 2023Updated 2 years ago
- SorryDB indexes sorries in public lean repositories☆45Apr 2, 2026Updated last week
- www.functional-architecture.org website☆15Updated this week
- An MCP tool that gets things done for you☆13Dec 22, 2024Updated last year
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆60Updated this week
- ☆53Apr 2, 2026Updated last week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mind-wandering detector using EEG and ML☆10Aug 19, 2023Updated 2 years ago
- Generate complete LLM execution graphs at runtime☆12Aug 19, 2025Updated 7 months ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Instant Perfect Native MacOS Transcription☆53Jul 26, 2025Updated 8 months ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- AI assistant that Intuitively Adapts to You☆79Feb 2, 2024Updated 2 years ago
- A visual journey of The Alchemist, powered by OpenAI and Midjourney.☆15Dec 6, 2025Updated 4 months ago
- ☆15Apr 26, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- TOON as DSPy adapter☆25Feb 1, 2026Updated 2 months ago
- Fork of Flame repo for training of some new stuff in development☆19Mar 17, 2026Updated 3 weeks ago
- Fast Polar Decomposition for Muon☆115Apr 2, 2026Updated last week
- Stripe-native usage metering with real-time cost projections, exactly-once processing, and invoice parity guarantees.☆21Feb 27, 2026Updated last month
- ☆11Dec 23, 2023Updated 2 years ago
- A simple and lightweight library for overloading functions in TypeScript.☆13Dec 28, 2024Updated last year
- ☆27Feb 1, 2025Updated last year