Alternatives and similar repositories for ism

Users that are interested in ism are comparing it to the libraries listed below

• electrikmilk / cherri-macos-app

  View on GitHub
  IDE for the Cherri Shortcuts programming language
  ☆52Jan 12, 2026Updated last month
• hikari-no-yume / app-compatibility-db

  View on GitHub
  Simple web app for managing a public app compatibility database for an emulator project. Used by touchHLE, intended to be usable for othe…
  ☆11Jan 17, 2026Updated 3 weeks ago
• andy128k / sanitize-html-rs

  View on GitHub
  Rust library for HTML santisation. https://docs.rs/sanitize_html/
  ☆16Oct 20, 2025Updated 3 months ago
• shift-society / salon

  View on GitHub
  Salon des Refusés - Dialectics for new computer science
  ☆11Feb 6, 2019Updated 7 years ago
• cooljeanius / legislation

  View on GitHub
  drafts of LSRs I intend to file, am filing, or have filed as a legislator
  ☆11Feb 3, 2026Updated last week
• callum-oakley / json5-to-json

  View on GitHub
  A bare-bones tool for converting JSON5 to plain JSON.
  ☆13Aug 20, 2022Updated 3 years ago
• say4n / crustacean

  View on GitHub
  Crustacean: an unofficial iOS client for lobste.rs
  ☆12Mar 24, 2025Updated 10 months ago
• b0gdanw / AppleScripts

  View on GitHub
  ☆14Nov 9, 2025Updated 3 months ago
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated 11 months ago
• manufactured / macOS-utilities-Finder-Tags-via-Keystroke

  View on GitHub
  Tag macOS Finder items via keyboard shortcut
  ☆20Oct 14, 2017Updated 8 years ago
• anachro-rs / anachro-forth

  View on GitHub
  A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus
  ☆14Dec 8, 2021Updated 4 years ago
• decrn / tilogics

  View on GitHub
  Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
  ☆11Aug 28, 2024Updated last year
• mstksg / decidable

  View on GitHub
  Combinators for manipulating dependently-typed predicates.
  ☆14Jul 5, 2024Updated last year
• cleobis / OmniFocus

  View on GitHub
  OmniAutomation plug-ins for OmniFocus
  ☆14Nov 23, 2022Updated 3 years ago
• omni-automation / single-file-plug-ins

  View on GitHub
  A repository containing example Omni Automation single-file plug-ins for each of the Omni applications.
  ☆12Oct 16, 2019Updated 6 years ago
• michaelballantyne / syntax-spec

  View on GitHub
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆40Oct 14, 2025Updated 4 months ago
• mrkgnao / pico

  View on GitHub
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Feb 15, 2018Updated 7 years ago
• phuctm97 / nbundle-create-notion-app

  View on GitHub
  Create nbundle-powered Notion apps with one command.
  ☆17Mar 2, 2023Updated 2 years ago
• tpetricek / tiny-boxer

  View on GitHub
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆24May 28, 2025Updated 8 months ago
• antoinevg / hello-d1

  View on GitHub
  Bare-metal Rust explorations of the Allwinner D1
  ☆17Oct 25, 2022Updated 3 years ago
• panicz / grasp-android

  View on GitHub
  GRASP for Android
  ☆16Mar 13, 2023Updated 2 years ago
• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 7 years ago
• typeswitch-dev / yotta

  View on GitHub
  ☆60Apr 25, 2024Updated last year
• cbytensky / cnxt

  View on GitHub
  9×20 bitmap monospaced font
  ☆18Dec 12, 2025Updated 2 months ago
• bts / deferred-substitution

  View on GitHub
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Aug 8, 2018Updated 7 years ago
• ekmett / hyperfunctions

  View on GitHub
  playing with hyperfunctions
  ☆16May 2, 2021Updated 4 years ago
• wr7 / refold

  View on GitHub
  A commandline tool for performing text-wrapping
  ☆17Sep 21, 2024Updated last year
• geezee / smatch

  View on GitHub
  regexes for trees; grep for s-exprs
  ☆18Jun 10, 2024Updated last year
• thechelsuk / app.scriptable

  View on GitHub
  Scriptable App - a repository for scriptable JavaScript files that provide little snippets of information, widgets, or automations that …
  ☆36Dec 6, 2025Updated 2 months ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆19Sep 28, 2025Updated 4 months ago
• ayberkt / simplc

  View on GitHub
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Dec 10, 2019Updated 6 years ago
• robenkleene / AppleScripts

  View on GitHub
  My AppleScripts folder.
  ☆18Dec 31, 2024Updated last year
• atmos-lang / atmos

  View on GitHub
  ☆30Feb 6, 2026Updated last week
• ncfavier / glam

  View on GitHub
  Polymorphic guarded λ-calculus
  ☆22Jul 17, 2025Updated 6 months ago
• appliedfm / vstyle

  View on GitHub
  A style guide for Coq
  ☆18Nov 30, 2021Updated 4 years ago
• extratone / jellycuts

  View on GitHub
  Shortcuts development in the .jelly language.
  ☆47Jul 11, 2025Updated 7 months ago
• LightAndLight / ipso

  View on GitHub
  A functional scripting language.
  ☆17Jan 18, 2025Updated last year
• fplaunchpad / verified_ocaml_gc

  View on GitHub
  For Jar artifacts
  ☆20Nov 8, 2025Updated 3 months ago