Browser support for Lean using a monaco editor.
☆14Mar 4, 2026Updated this week
Alternatives and similar repositories for lean4monaco
Users that are interested in lean4monaco are comparing it to the libraries listed below
Sorting:
- Lean web editor☆133Jan 6, 2026Updated 2 months ago
- My sexy website☆20Feb 13, 2017Updated 9 years ago
- PuPu is a lightweight, cross-platform desktop AI client that works with both local and cloud-hosted models. Whether you prefer running mo…☆22Updated this week
- ☆10Aug 26, 2025Updated 6 months ago
- Convert source code to LLM ready knowledge base☆29Dec 30, 2025Updated 2 months ago
- Combinatorial game library in Lean 4☆56Updated this week
- A python library / model for creating co-references between AMR graph nodes.☆11Dec 11, 2022Updated 3 years ago
- ☆15Updated this week
- Real-time IoT monitoring and control for Xiaomi electric scooters using Raspberry Pi, GPS, and 4G, with Grafana data visualization. Open…☆14Oct 4, 2024Updated last year
- Deploy a containerized Node.js app on ECS Fargate with an ALB using AWS CDK. Showcases ECS code-mounting for hot-reloading and remote deb…☆14Aug 11, 2025Updated 6 months ago
- ☆11Jun 24, 2024Updated last year
- Repository for Gephi Plugins maintained by the team. Each plugin has it's branch.☆12Nov 14, 2023Updated 2 years ago
- A Chrome extension hosts an Ollama UI web server on localhost and other servers, helping you manage models and chat with any open-source …☆13Sep 4, 2025Updated 6 months ago
- Knowledge Content for OCI Observability and Management Services☆17Updated this week
- ☆13Jan 5, 2023Updated 3 years ago
- ANT+ remote button☆11Jul 20, 2021Updated 4 years ago
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated 11 months ago
- ☆11Jan 26, 2022Updated 4 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 2 months ago
- Helm charts repository☆16Oct 21, 2025Updated 4 months ago
- Madame Claude is a monitoring system for Claude Code hooks that captures and streams tool usage events to a web interface.☆21Jul 10, 2025Updated 7 months ago
- Basic Unicode support for Lean 4☆15Mar 2, 2026Updated last week
- High Performance Computing Cluster Engineering Academy within Livermore Computing☆20Aug 7, 2025Updated 7 months ago
- Sticky note bookmarks for Neovim, per Git branch with hover annotations and Telescope integration☆36Feb 2, 2026Updated last month
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Beggar my Neighbour simulator in Python☆16Jun 3, 2025Updated 9 months ago
- ☆12May 2, 2017Updated 8 years ago
- Boolean operations and overlap removal for curves.☆11Dec 1, 2017Updated 8 years ago
- Yet another bash PS1 utility.☆11Apr 23, 2017Updated 8 years ago
- Manage objects inside a cdn☆19Mar 1, 2026Updated last week
- DualMind MoshiPlex Edition — Autonomous AI Dialogue Showcase (Full-duplex Audio-to-Audio AI Conversational System based on PersonaPlex an…☆35Jan 25, 2026Updated last month
- PowerLite PDO is a DBAL PDO Wrapper, a lightweight and powerful PHP library that provides an efficient way to interact with multiple type…☆14Jan 5, 2026Updated 2 months ago
- C++ Windows class library☆12Dec 14, 2023Updated 2 years ago
- 💬 A simple chat app example☆10Sep 19, 2023Updated 2 years ago
- A web app for creating and editing RDP files☆16Oct 20, 2024Updated last year
- Lezer grammar support for VS Code.☆11Feb 16, 2021Updated 5 years ago
- Stability Dashboard☆13Updated this week
- NW.js features demonstrated in a simple project☆12Dec 5, 2016Updated 9 years ago
- ☆13Apr 25, 2022Updated 3 years ago