Literate Computing with Webstrates
☆26Oct 6, 2018Updated 8 years ago
Alternatives and similar repositories for Codestrates
Users that are interested in Codestrates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Webstrates is a research prototype enabling collaborative editing of websites through DOM manipulations.☆275Updated this week
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆15Oct 23, 2024Updated last year
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repo for the talk "Monad Transformers For The Easily Confused", for LambdaConf 2018☆19Jun 4, 2018Updated 8 years ago
- a declarative framework for scaling up your interactive visualizations with... SQL! (and some timesteps)☆27Jan 7, 2023Updated 3 years ago
- Experimental something something.☆11Jan 13, 2020Updated 6 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆109Feb 18, 2025Updated last year
- Neo smartpen SDK 2.0 for Universal Windows Platform☆14Jul 12, 2023Updated 3 years ago
- ☆29Mar 1, 2026Updated 7 months ago
- Collection of extensions for Numi calculator app (numi.io)☆12Sep 17, 2020Updated 6 years ago
- PushPin: Towards Production-Quality Peer-to-Peer Collaboration☆12Apr 14, 2020Updated 6 years ago
- Bridging Code and Interactive Visualization in Computational Notebooks☆66May 12, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13May 24, 2021Updated 5 years ago
- A 3D live programming experiment☆79Aug 10, 2020Updated 6 years ago
- ☆12Jun 14, 2021Updated 5 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- Example of doing a full text index and search using CockroachDB☆12Jun 11, 2021Updated 5 years ago
- A grunt task which takes a html file, finds all the css, js links and images, and outputs a version with all the css, js and images (Base…☆12Jul 7, 2026Updated 3 months ago
- ☆11May 8, 2019Updated 7 years ago
- A collection LaTeX templates compatible with curvenote.com☆16Sep 15, 2022Updated 4 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.
- C in four functions — ported to plan9☆12Feb 28, 2020Updated 6 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆97Feb 28, 2024Updated 2 years ago
- synchronous git collaboration tool☆10Updated this week
- [WIP] Digital Garden made with #Remix☆20Jul 25, 2022Updated 4 years ago
- Alfred workflows☆10Sep 25, 2018Updated 8 years ago
- Proof-of-concept prototype for Userland☆159Jul 1, 2022Updated 4 years ago
- Unofficial Journal of American Medical Informatics Association (JAMIA) Markdown Journal Article Template☆13Jun 11, 2016Updated 10 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- 🐝 🌐 Honeybee extension for translating HBJSON files to VTK format☆10May 31, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Source-to-Image builder for Common Lisp applications on OpenShift☆30May 3, 2024Updated 2 years ago
- Program with Personal Notation☆36Jul 8, 2019Updated 7 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Simple physics library for rg3d engine.☆12Oct 29, 2020Updated 5 years ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 5 years ago
- kittyverse libraries & scripts - helper classes for cattributes, trait types, traits, genes, genomes and more for cryptokitties and copyc…☆19Apr 21, 2021Updated 5 years ago
- ☆11Jul 6, 2023Updated 3 years ago