anything you want can be built with morph cloud
☆28Oct 14, 2025Updated 7 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:
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆32Feb 12, 2026Updated 3 months ago
- Learning Formal Mathematics from Intrinsic Motivation☆37Jul 10, 2025Updated 10 months ago
- A collection of interesting links, articles, research papers and projects related to knowledge graphs, GenAI and LLMs (large language mod…☆28Jul 5, 2024Updated last year
- ☆14Apr 16, 2025Updated last year
- some books and papers and stuff☆15Sep 25, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Ensures bitwise reproducibility of ML operations across different hardware targets.☆19Mar 4, 2025Updated last year
- ☆14Sep 23, 2024Updated last year
- Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.☆30May 12, 2026Updated last week
- ☆15Apr 10, 2024Updated 2 years ago
- A Machine-to-Machine Interaction System for Lean 4.☆140Apr 26, 2026Updated 3 weeks ago
- Zero-setup bash CLI that downloads full-resolution images from iCloud/Dropbox/Google Photos share links, bridging iPhone screenshots to r…☆37May 12, 2026Updated last week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆42Apr 3, 2026Updated last month
- Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"☆29May 8, 2025Updated last year
- ☆29Feb 8, 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.
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 2 years ago
- ☆19May 29, 2024Updated last year
- A starter app to build AI powered chat bots with Astra DB and LlamaIndex☆71Feb 2, 2024Updated 2 years ago
- ☆46Sep 21, 2024Updated last year
- Capstan example project for Java applications☆20Sep 4, 2016Updated 9 years ago
- CLI for executing multiple commands in parallel with minimal footprint (~2KB).☆12Apr 14, 2026Updated last month
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- 🌟 Stardex: Explore GitHub Stars Intelligently. Stardex is a powerful web app that lets you search, filter, and cluster any GitHub user's…☆15Mar 17, 2026Updated 2 months ago
- Open-source recreation of the Icon Composer application. Create icons for Mac OS X without Xcode. Also creates Windows ico files.☆20Sep 30, 2023Updated 2 years ago
- 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.
- ☆12Apr 19, 2024Updated 2 years ago
- ☆17May 7, 2026Updated last week
- ☆33Nov 16, 2025Updated 6 months ago
- An implementation of the Augmented Random Search algorithm☆14Jan 29, 2022Updated 4 years ago
- A modern networking framework based on ucx for Java 19+☆28Nov 23, 2023Updated 2 years ago
- Kimina Lean server (+ client SDK)☆197Jan 11, 2026Updated 4 months ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- A search engine for Lean 4 declarations☆65May 7, 2026Updated last week
- www.functional-architecture.org website☆15Apr 7, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Examples on how to use Speedment in a Micro-Service environment. Event Sourcing with CQRS and Materialized Views.☆18Oct 5, 2017Updated 8 years ago
- SorryDB indexes sorries in public lean repositories☆51May 12, 2026Updated last week
- MCP server for Liveblocks.☆15May 11, 2026Updated last week
- Generate complete LLM execution graphs at runtime☆12Aug 19, 2025Updated 9 months ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- cluster text embeddings with DBSCAN and HDBSCAN — parameter sweep, Excel export☆17Feb 21, 2026Updated 2 months ago
- streaming JSON RPC over TCP☆29Apr 30, 2024Updated 2 years ago