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:
- Random rev of shortcuts (mostly WorkflowKit)β13May 1, 2024Updated 2 years ago
- IDE for the Cherri Shortcuts programming languageβ81Jan 12, 2026Updated 9 months ago
- drafts of LSRs I intend to file, am filing, or have filed as a legislatorβ11May 30, 2026Updated 4 months ago
- Create nbundle-powered Notion apps with one command.β18Mar 2, 2023Updated 3 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β¦β13Apr 25, 2026Updated 5 months 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.
- Structural search for Rustβ15Nov 4, 2025Updated 11 months ago
- The hobbyist's programming languageβ25Jun 2, 2023Updated 3 years ago
- β16Feb 18, 2025Updated last year
- Revamp your morning routine and supercharge productivity with Dispatch. The ultimate Apple Shortcut powered by ChatGPT and ElevenLabs.β44Jun 11, 2024Updated 2 years ago
- Your AI assistant in the terminal.β23Nov 22, 2024Updated last year
- Shortcuts development in the .jelly language.β52Jul 11, 2025Updated last year
- Modos is a BetterTouchTool preset for managing workspaces + windows.β11Oct 5, 2020Updated 6 years ago
- Combinators for manipulating dependently-typed predicates.β13Jul 5, 2024Updated 2 years ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of cβ¦β15Aug 21, 2026Updated last month
- 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.
- An example of how to add new actions to Appleβs Shortcuts appβ70Oct 21, 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 8 years ago
- Well Typed Foundations ποΈβ15Feb 3, 2021Updated 5 years ago
- Ordo: A minimalist language with row polymorphismβ87Feb 3, 2026Updated 8 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"β15Aug 8, 2018Updated 8 years ago
- playing with hyperfunctionsβ17May 2, 2021Updated 5 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β12Apr 3, 2026Updated 6 months ago
- A OCaml generator for well-typed terms (that use their arguments).β13Feb 22, 2025Updated last year
- 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.
- regexes for trees; grep for s-exprsβ18Jul 22, 2026Updated 2 months ago
- Install and use Julia packages with a single command on systems that may or may not already have Julia.β13May 2, 2025Updated last year
- Experiments in lexing, parsing, interpreting, VM and JITsβ10Feb 12, 2019Updated 7 years ago
- A bare-bones tool for converting JSON5 to plain JSON.β13Aug 20, 2022Updated 4 years ago
- A Drafts App URL action to create gists.β20Jan 27, 2013Updated 13 years ago
- Big package depending on a lot of open source repos.β15Oct 12, 2026Updated last week
- The Functional Virtual Machine.β14Dec 18, 2024Updated last year
- Quasi-quoting library for agdaβ18Nov 29, 2024Updated last year
- A flexible modeling notation Ξβ15Jul 29, 2026Updated 2 months 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.
- calc= is a small concatenative programming language for doing math in chats.β13Jun 25, 2022Updated 4 years ago
- Implementation of the Delta Languageβ14Mar 18, 2024Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogrammingβ61Jun 18, 2024Updated 2 years ago
- The parsesql module implements a high performance SQL file parser. It parses PostgreSQL syntax and the SQL ANSI standard.β11Jun 8, 2021Updated 5 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.β17Dec 10, 2019Updated 6 years ago
- Crustacean: an unofficial iOS client for lobste.rsβ12Aug 24, 2026Updated last month
- β15Dec 7, 2022Updated 3 years ago