Write programs in Apple Notes 📝. Multi-platform stack machine implemented in Siri Shortcuts.
☆117Aug 15, 2023Updated 3 years ago
Alternatives and similar repositories for ism
Users that are interested in ism are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- HealthKit State of Mind Siri Shortcuts☆21Sep 3, 2024Updated 2 years ago
- Linking against PrivateFrameworks on macOS.☆23Oct 28, 2021Updated 4 years ago
- Library for signed shortcuts.☆24Apr 13, 2026Updated 4 months ago
- ☆15Nov 9, 2025Updated 9 months ago
- A simple server for signing iOS/macOS shotcuts☆31Oct 7, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A programming language designed for creating blazingly fast automations on Apple devices, utilizing Siri Shortcuts.☆103Apr 1, 2026Updated 5 months ago
- drafts of LSRs I intend to file, am filing, or have filed as a legislator☆11May 30, 2026Updated 3 months ago
- Create nbundle-powered Notion apps with one command.☆18Mar 2, 2023Updated 3 years ago
- IDE for the Cherri Shortcuts programming language☆77Jan 12, 2026Updated 7 months ago
- Simple web app for managing a public app compatibility database for an emulator project. Used by touchHLE, intended to be usable for othe…☆13Apr 25, 2026Updated 4 months ago
- Make shortcuts from Text.☆33Apr 2, 2022Updated 4 years ago
- Structural search for Rust☆15Nov 4, 2025Updated 10 months ago
- ☆16Feb 18, 2025Updated last year
- Language syntax and snippets for AppleScript☆88May 9, 2026Updated 3 months 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.
- Combinators for manipulating dependently-typed predicates.☆13Jul 5, 2024Updated 2 years ago
- Modos is a BetterTouchTool preset for managing workspaces + windows.☆11Oct 5, 2020Updated 5 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- CSS sprite to represent iOS shortcut icons☆60Sep 11, 2025Updated 11 months ago
- Adds hoverable video and image previews to elements in Vanilla JS.☆14Oct 27, 2023Updated 2 years ago
- Ordo: A minimalist language with row polymorphism☆87Feb 3, 2026Updated 7 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- 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.
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆12Apr 3, 2026Updated 5 months ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- regexes for trees; grep for s-exprs☆18Jul 22, 2026Updated last month
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- My AppleScripts folder.☆18Dec 31, 2024Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆17Dec 10, 2019Updated 6 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Converts between .tmLanguage(.plist), .json and .yaml formats☆12Dec 13, 2024Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆61Jun 18, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Dec 7, 2022Updated 3 years ago
- Scriptable App - a repository for scriptable JavaScript files that provide little snippets of information, widgets, or automations that …☆39Dec 6, 2025Updated 9 months ago
- calc= is a small concatenative programming language for doing math in chats.☆13Jun 25, 2022Updated 4 years ago
- All of my iOS/iPhone-related documentation, files, media, etc.☆68Feb 28, 2025Updated last year
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- An IDE for JavaScript, without the "bad parts".☆29Jun 16, 2023Updated 3 years ago
- Crustacean: an unofficial iOS client for lobste.rs☆12Aug 24, 2026Updated 2 weeks ago