Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
☆21Oct 2, 2023Updated 2 years ago
Alternatives and similar repositories for Editor
Users that are interested in Editor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Another attempt to realize my programming language☆23Jan 17, 2026Updated 5 months ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 7 years ago
- A JavaScript toolkit for remote net art performance.☆12May 1, 2016Updated 10 years ago
- Solver for higher-order functional programs, used by Stainless☆96Jun 10, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- raylib + LuaJIT + Yuescript☆12Mar 1, 2022Updated 4 years ago
- How to use email to organize your ideas☆12May 6, 2025Updated last year
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- we've moved to sourcehut! this is just a mirror of: https://sr.ht/~merl/webmonome/☆11May 8, 2026Updated last month
- ☆12Feb 15, 2023Updated 3 years ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- Proof assistant based on first-order logic and set theory☆70Jun 18, 2026Updated 2 weeks ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- AI Agents on 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.
- PL Reading Group Website☆15Jan 12, 2026Updated 5 months ago
- A collection of SML utility modules that are useful for compiler writing.☆11May 18, 2026Updated last month
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- LL(1) parser combinators in Scala☆62May 11, 2026Updated last month
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- Hex is a keyboard-driven, grid-based drawing tool.☆20Jun 18, 2020Updated 6 years ago
- Proxied wrapper object for Promise.☆21Mar 22, 2019Updated 7 years ago
- ☆15Nov 26, 2016Updated 9 years ago
- webgl2 emulator for node using native opengles3 window☆14Apr 2, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- knitout writing frontend for javascript☆17Oct 14, 2024Updated last year
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- ☆19Apr 27, 2018Updated 8 years ago
- render a class of curved 4D shapes☆12Mar 31, 2026Updated 3 months ago
- Go Challenge web application for participants☆13Apr 11, 2015Updated 11 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 9 months ago
- An emacs client for the pushbullet android app☆18Aug 9, 2014Updated 11 years ago
- Forward messages to collaborators in East-oriented style.☆14Jun 27, 2026Updated last week
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JSON representation of a collection of Yamaha DX7 patches compiled by Glenn Scott☆10Dec 4, 2015Updated 10 years ago
- live data flow environment for digital fabrication☆15Aug 7, 2023Updated 2 years ago
- Google Apps Script to backup/export your Google Docs/Sheets/Slides to docx/xlsx/pptx and PDF files.☆13Sep 18, 2021Updated 4 years ago
- Simple demo showing Apache OpenWhisk actions, triggers, and rules with IBM Cloud Functions.☆17Jul 6, 2019Updated 7 years ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- ☆18Sep 13, 2023Updated 2 years ago
- Slides and handwritten notes on the course on models of programming languages☆53Nov 10, 2020Updated 5 years ago