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 7 months ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- Ledger financial translation to the Clojure merkledag data structure.☆12Nov 7, 2022Updated 3 years ago
- raylib + LuaJIT + Yuescript☆13Mar 1, 2022Updated 4 years ago
- Solver for higher-order functional programs, used by Stainless☆97Aug 28, 2026Updated last week
- 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.
- ☆13Dec 2, 2021Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- generates binary sequences based on Bjorklund algorithm☆12Jan 11, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/knitml☆13Aug 6, 2015Updated 11 years ago
- Simple shape editor component with React and SVG☆10Jul 2, 2019Updated 7 years ago
- we've moved to sourcehut! this is just a mirror of: https://sr.ht/~merl/webmonome/☆11Aug 19, 2026Updated 2 weeks ago
- PL Reading Group Website☆16Jan 12, 2026Updated 7 months ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- ☆13Jul 31, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Proof assistant based on first-order logic and set theory☆70Updated this week
- A collection of small libraries for the TIC-80 fantasy console☆11Jul 1, 2020Updated 6 years ago
- a mini-framework for teaching digital audio programming☆13Mar 13, 2018Updated 8 years ago
- slowly building a set of infinite riddle generators for data-hungry methods☆14Nov 15, 2022Updated 3 years ago
- Hex is a keyboard-driven, grid-based drawing tool.☆20Jun 18, 2020Updated 6 years ago
- Easy to use Serial Port communication Unity <-> Arduino.☆16Jun 11, 2018Updated 8 years ago
- Ravescript☆20Mar 9, 2025Updated last year
- ☆16Nov 26, 2016Updated 9 years 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.
- LL(1) parser combinators in Scala☆64May 11, 2026Updated 3 months ago
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- ☆20Apr 27, 2018Updated 8 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 11 months ago
- Forward messages to collaborators in East-oriented style.☆14Aug 17, 2026Updated 2 weeks ago
- Create beautiful, customizable visualizations in React.☆17Nov 3, 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
- Control SuperCollider with node-red☆17Aug 5, 2023Updated 3 years ago
- Fuzz-Free Web Audio Scheduling☆16Jul 6, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Generate python scripts that turn Arduino Serial messages into OSC messages quickly and easily☆13Jan 10, 2017Updated 9 years ago
- EthGlobal Autonomous Worlds Hackathon Project -- permissionless, composable, and autonomous on-chain RPG with playable characters as foun…☆11Jun 5, 2023Updated 3 years ago
- A gulp plugin for prepack☆14Jun 4, 2018Updated 8 years ago
- Simple demo showing Apache OpenWhisk actions, triggers, and rules with IBM Cloud Functions.☆17Jul 6, 2019Updated 7 years ago
- Digital musical instrument design framework created for MIT course 21M.370☆13Apr 2, 2025Updated last year
- vim.wasm Jupyter Integration☆20Jul 20, 2019Updated 7 years ago
- post-processing library that merges many effects into few shader passes☆17Dec 6, 2022Updated 3 years ago