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 8 months ago
- A JavaScript toolkit for remote net art performance.☆12May 1, 2016Updated 10 years ago
- Ledger financial translation to the Clojure merkledag data structure.☆12Nov 7, 2022Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆97Sep 7, 2026Updated 2 weeks ago
- ☆12Feb 15, 2023Updated 3 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.
- ☆13Dec 2, 2021Updated 4 years ago
- PL Reading Group Website☆16Jan 12, 2026Updated 8 months ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- A fast, lightweight fork of glslify☆15May 20, 2020Updated 6 years ago
- HTTP FSM for re-frame☆39Nov 19, 2021Updated 4 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11May 18, 2026Updated 4 months ago
- 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☆70Sep 16, 2026Updated last week
- A collection of small libraries for the TIC-80 fantasy console☆11Jul 1, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- TriCera: a model checker for C programs☆27Updated this week
- An Explorable Explanation of Matrices and Linear Transformations☆44Aug 24, 2023Updated 3 years ago
- a mini-framework for teaching digital audio programming☆13Mar 13, 2018Updated 8 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
- A true type font rendering subsystem for jMonkeyEngine.☆11Sep 29, 2023Updated 2 years ago
- Ravescript☆20Mar 9, 2025Updated last year
- ☆15Nov 26, 2016Updated 9 years ago
- knitout writing frontend for javascript☆18Oct 14, 2024Updated last year
- 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.
- LL(1) parser combinators in Scala☆64May 11, 2026Updated 4 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- render a class of curved 4D shapes☆12Mar 31, 2026Updated 5 months ago
- live data flow environment for digital fabrication☆15Aug 7, 2023Updated 3 years ago
- JSON representation of a collection of Yamaha DX7 patches compiled by Glenn Scott☆10Dec 4, 2015Updated 10 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated this week
- Virtual Circuit Board blueprint tool☆11May 27, 2022Updated 4 years ago
- Create beautiful, customizable visualizations in React.☆17Nov 3, 2023Updated 2 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.
- Model Context Protocol SDK for Clojure☆15Oct 27, 2025Updated 11 months ago
- Control SuperCollider with node-red☆17Aug 5, 2023Updated 3 years ago
- Fuzz-Free Web Audio Scheduling☆16Jul 6, 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
- post-processing library that merges many effects into few shader passes☆17Dec 6, 2022Updated 3 years ago