Literate Computing with Webstrates
☆26Oct 6, 2018Updated 7 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:
- ☆17Jan 16, 2017Updated 9 years ago
- Alfred workflow for tracking habits with Habitica☆11Jan 1, 2019Updated 7 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆22Jul 5, 2023Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 4 years ago
- Jupyter Notebook Extension that assists with notebook cleaning☆20Mar 14, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An awesome list of awesome documentation and documentation resources☆24May 28, 2026Updated 2 months ago
- Requirements Document, Business case, Use cases, IOS, Web application screen shots, diagrams using VISIO and Gliffy☆20Oct 5, 2017Updated 8 years ago
- Easily track your ShareLaTeX changes using git. One simple command to rule them all!☆20Jan 14, 2019Updated 7 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆109Feb 18, 2025Updated last year
- Scripts and tools that help service Project North Star AR glasses☆11Mar 8, 2020Updated 6 years ago
- PushPin: Towards Production-Quality Peer-to-Peer Collaboration☆12Apr 14, 2020Updated 6 years ago
- Generation of CWL programmatically. Available types: CommandLineTool and DockerRequirement☆29Jun 9, 2020Updated 6 years ago
- A 3D live programming experiment☆79Aug 10, 2020Updated 6 years ago
- ☆12Jun 14, 2021Updated 5 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.
- ☆10Sep 7, 2022Updated 3 years ago
- ONNX runtime for Emacs Lisp☆14Aug 23, 2025Updated 11 months ago
- Unity project for the 3D selection technique RayCursor☆15Feb 25, 2023Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 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 last month
- Sample JavaFX WebView application for full featured debugging with Chrome Dev Tools☆14Jan 4, 2022Updated 4 years ago
- A collection LaTeX templates compatible with curvenote.com☆16Sep 15, 2022Updated 3 years ago
- Python client software for HackEEG TI ADS1299 Arduino shield☆15May 26, 2026Updated 2 months ago
- ☆17Dec 8, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Dec 8, 2022Updated 3 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…☆95Feb 28, 2024Updated 2 years ago
- synchronous git collaboration tool☆10Dec 7, 2022Updated 3 years ago
- Your Assistant for Prompting LLMs☆20Mar 11, 2026Updated 4 months ago
- Alfred workflows☆10Sep 25, 2018Updated 7 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
- Source-to-Image builder for Common Lisp applications on OpenShift☆30May 3, 2024Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Support Kotlin in Flycheck☆14Jan 11, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Simple physics library for rg3d engine.☆12Oct 29, 2020Updated 5 years ago
- a literate programming "weaver" which can run as CGI to produce folding HTML-formatted documentation and runs with "noweb" tools of Norma…☆16Jan 15, 2010Updated 16 years ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 5 years ago
- A JSON Hyperschema codec for Core API.☆17Feb 27, 2018Updated 8 years ago
- A reinforcement learning package implemented in Torch☆11Jan 24, 2016Updated 10 years ago
- ☆13Apr 12, 2019Updated 7 years ago
- An example code to see how integrate Karma with VSCode debugger.☆10Apr 2, 2017Updated 9 years ago