hhu-adam / lean4monacoView external linksLinks
Browser support for Lean using a monaco editor.
☆13Jan 8, 2026Updated last month
Alternatives and similar repositories for lean4monaco
Users that are interested in lean4monaco are comparing it to the libraries listed below
Sorting:
- Lean web editor☆131Jan 6, 2026Updated last month
- My sexy website☆20Feb 13, 2017Updated 9 years ago
- PuPu is a lightweight tool that makes it easy to run AI models on your own device. Designed for smooth performance and ease of use, PuPu …☆22Jan 28, 2026Updated 2 weeks ago
- ☆10Aug 26, 2025Updated 5 months ago
- Convert source code to LLM ready knowledge base☆27Dec 30, 2025Updated last month
- Adapter package for torch_musa to act exactly like PyTorch CUDA☆19Updated this week
- Combinatorial game library in Lean 4☆56Feb 6, 2026Updated last week
- A python library / model for creating co-references between AMR graph nodes.☆11Dec 11, 2022Updated 3 years ago
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated 10 months ago
- ☆11Jun 24, 2024Updated last year
- Knowledge Content for OCI Observability and Management Services☆17Jan 8, 2026Updated last month
- ANT+ remote button☆11Jul 20, 2021Updated 4 years ago
- ☆13Jan 5, 2023Updated 3 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 5 months ago
- 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
- ☆15Feb 3, 2026Updated last week
- Repository for Gephi Plugins maintained by the team. Each plugin has it's branch.☆12Nov 14, 2023Updated 2 years ago
- 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
- 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 last month
- This sample allows to deploy the LiteralAI platform on azure in a few minutes. Literal AI is an observability and evaluation platform for…☆13Jul 11, 2024Updated last year
- (Yet another)² PHP object-oriented wrapper for cURL extension☆15Dec 30, 2015Updated 10 years ago
- Hello world demonstration for Weblate☆14Jan 20, 2026Updated 3 weeks ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- C++ Windows class library☆12Dec 14, 2023Updated 2 years ago
- Boolean operations and overlap removal for curves.☆11Dec 1, 2017Updated 8 years ago
- kodeWeave is your on the go coding playground! Design with TailwindCSS or Pico.css, see how your app or website will look and behave on a…☆13Jan 11, 2026Updated last month
- Beggar my Neighbour simulator in Python☆16Jun 3, 2025Updated 8 months ago
- ☆11Jan 26, 2022Updated 4 years ago
- Music Visualizer made using openFrameworks (C++) and Essentia library. Creates 2D and 3D Perlin Noise based visualizations using frequenc…☆12May 23, 2018Updated 7 years ago
- ☆13Apr 25, 2022Updated 3 years ago
- Mathlib search tool☆122Feb 1, 2026Updated last week
- Manage the H.O.R.N.E.T Storage Relay config options directly from a GUI panel. Easily toggle support for different types of file extensio…☆11Jan 7, 2026Updated last month
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last week
- Helm charts repository☆16Oct 21, 2025Updated 3 months ago
- Lezer grammar support for VS Code.☆11Feb 16, 2021Updated 4 years ago
- guarded interaction trees☆10Jul 4, 2025Updated 7 months ago
- ☆12May 2, 2017Updated 8 years ago
- Script-based CAD/CAM in Python☆10Jan 22, 2014Updated 12 years ago
- A C#(.NET) implementation of STUN/TURN☆13Nov 6, 2022Updated 3 years ago