Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
☆22Oct 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 2 months ago
- HTTP FSM for re-frame☆38Nov 19, 2021Updated 4 years ago
- Scala library for parsing and printing the SMT-LIB format☆46Dec 30, 2022Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- 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.
- A proof-of-concept for writing 🚀 datastar expressions using Clojure without manual string concatenation.☆15Mar 12, 2026Updated 2 weeks ago
- generates binary sequences based on Bjorklund algorithm☆12Jan 11, 2023Updated 3 years ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- TriCera: a model checker for C programs☆26Feb 28, 2026Updated 3 weeks ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- PL Reading Group Website☆14Jan 12, 2026Updated 2 months ago
- ☆11Updated this week
- A collection of SML utility modules that are useful for compiler writing.☆11Dec 17, 2025Updated 3 months ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Proxied wrapper object for Promise.☆21Mar 22, 2019Updated 7 years ago
- Easy to use Serial Port communication Unity <-> Arduino.☆15Jun 11, 2018Updated 7 years ago
- ☆10Dec 31, 2020Updated 5 years ago
- A 3d raytracing program (42 team project)☆10Apr 26, 2025Updated 11 months ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/knitml☆12Aug 6, 2015Updated 10 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- oswald editor☆10May 2, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An emacs client for the pushbullet android app☆18Aug 9, 2014Updated 11 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 5 months ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 4 years ago
- Simple demo showing Apache OpenWhisk actions, triggers, and rules with IBM Cloud Functions.☆17Jul 6, 2019Updated 6 years ago
- A gulp plugin for prepack☆14Jun 4, 2018Updated 7 years ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- language for multi-pass texture-to-texture effects☆15Nov 14, 2021Updated 4 years ago
- vim.wasm Jupyter Integration☆21Jul 20, 2019Updated 6 years ago
- Snap integration for the websockets library☆33Mar 29, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- parsing konnakol with ohm☆14Feb 16, 2024Updated 2 years ago
- Slides from ACCU Bay Area meetups in 2016☆14Jul 11, 2016Updated 9 years ago
- vim syntax highlight for PEG.js grammars☆32Jan 19, 2022Updated 4 years ago
- Slides and handwritten notes on the course on models of programming languages☆53Nov 10, 2020Updated 5 years ago
- A tutorial on writing wasm by hand☆23Apr 4, 2022Updated 3 years ago
- Evil project to turn excel spreadsheets in persistent reactive structures.☆89Nov 22, 2022Updated 3 years ago
- Solver for Constrained Horn Clauses☆50Mar 17, 2026Updated last week