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
Sorting:
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆31Feb 12, 2026Updated last month
- Learning Formal Mathematics from Intrinsic Motivation☆37Jul 10, 2025Updated 8 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
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- Automatically annotates YOLO dataset using Moondream visual model☆20Aug 24, 2025Updated 6 months ago
- ☆14Apr 16, 2025Updated 11 months ago
- ☆12Jun 2, 2023Updated 2 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- 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.☆27Mar 9, 2026Updated last week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 3 months ago
- ☆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…☆35Mar 3, 2026Updated 2 weeks ago
- SAS codes to produce Table, Listing, and Figure in a clinical trial setting.☆12Jan 4, 2017Updated 9 years ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆191Updated this week
- ☆59Dec 1, 2025Updated 3 months ago
- A starter app to build AI powered chat bots with Astra DB and LlamaIndex☆73Feb 2, 2024Updated 2 years ago
- CLI for executing multiple commands in parallel with minimal footprint (~2KB).☆12Mar 4, 2026Updated 2 weeks ago
- 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…☆13Jan 30, 2026Updated last month
- ☆12Apr 19, 2024Updated last year
- ☆17Mar 4, 2026Updated 2 weeks ago
- ☆28Nov 16, 2025Updated 4 months ago
- Kimina Lean server (+ client SDK)☆183Jan 11, 2026Updated 2 months ago
- A search engine for Lean 4 declarations☆55Mar 9, 2026Updated last week
- Formalization of the Millennium Problems in Lean 4☆45Jan 16, 2026Updated 2 months ago
- Public repo for DTC Digital Twin Capabilities Toolkit☆32Jun 12, 2025Updated 9 months ago
- www.functional-architecture.org website☆14Dec 12, 2025Updated 3 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- An MCP tool that gets things done for you☆13Dec 22, 2024Updated last year
- 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
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- Monorepo of utilities for integrating Effect with different frameworks and libraries.☆35Feb 10, 2026Updated last month
- ☆19Nov 14, 2024Updated last year
- Interactive Theorem Proving course using HOL4☆13Jun 21, 2023Updated 2 years ago
- An AI-powered game playing agent using Claude and PyBoy☆39Mar 9, 2025Updated last year