Write programs in Apple Notes 📝. Multi-platform stack machine implemented in Siri Shortcuts.
☆114Aug 15, 2023Updated 2 years ago
Alternatives and similar repositories for ism
Users that are interested in ism are comparing it to the libraries listed below
Sorting:
- IDE for the Cherri Shortcuts programming language☆56Jan 12, 2026Updated last month
- A simple server for signing iOS/macOS shotcuts☆20Oct 7, 2023Updated 2 years ago
- Simple web app for managing a public app compatibility database for an emulator project. Used by touchHLE, intended to be usable for othe…☆12Jan 17, 2026Updated last month
- drafts of LSRs I intend to file, am filing, or have filed as a legislator☆11Feb 3, 2026Updated last month
- Modos is a BetterTouchTool preset for managing workspaces + windows.☆10Oct 5, 2020Updated 5 years ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 4 months ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Reference documentation for the iOS Shortcuts app file structure☆209Jun 10, 2022Updated 3 years ago
- Siri Shortcuts Programming Language 🍒☆469Jan 24, 2026Updated last month
- ☆10Aug 19, 2022Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago
- Tag macOS Finder items via keyboard shortcut☆20Oct 14, 2017Updated 8 years ago
- ☆14Nov 9, 2025Updated 3 months ago
- ☆16Feb 18, 2025Updated last year
- Crustacean: an unofficial iOS client for lobste.rs☆12Mar 24, 2025Updated 11 months ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Language syntax and snippets for AppleScript☆81Feb 19, 2026Updated 2 weeks ago
- A repository containing example Omni Automation single-file plug-ins for each of the Omni applications.☆12Oct 16, 2019Updated 6 years ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆20Sep 16, 2025Updated 5 months ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- OmniAutomation plug-ins for OmniFocus☆14Nov 23, 2022Updated 3 years ago
- Icon Generator will quickly convert an SF Symbol or Emoji to .png for use in Alfred workflows.☆16Jul 1, 2024Updated last year
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 4 months ago
- Create nbundle-powered Notion apps with one command.☆17Mar 2, 2023Updated 3 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated 9 months ago
- Bare-metal Rust explorations of the Allwinner D1☆17Oct 25, 2022Updated 3 years ago
- Well Typed Foundations 🏛️☆14Feb 3, 2021Updated 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
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- ☆60Apr 25, 2024Updated last year
- ☆17Oct 16, 2018Updated 7 years ago
- Handy AppleScripts I use☆33Updated this week
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- A commandline tool for performing text-wrapping☆17Sep 21, 2024Updated last year
- Programming Languages I've Been Meaning To Try But Haven't Gotten Around To Yet☆14Jan 27, 2019Updated 7 years ago