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:
- Structural search for Rustβ15Nov 4, 2025Updated last year
- The hobbyist's programming languageβ25Jun 2, 2023Updated 3 years ago
- β16Feb 18, 2025Updated last year
- A well typed interpreter for the simply-typed lambda calculus written in Agdaβ11Aug 22, 2016Updated 10 years ago
- Library for structural temporal logic proofs over coinductive, free monads with effects and choice.β12Updated this week
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Combinators for manipulating dependently-typed predicates.β13Jul 5, 2024Updated 2 years ago
- playing with hyperfunctionsβ17May 2, 2021Updated 5 years ago
- A typechecker and lazy interpreter for System Uβ12Jun 7, 2026Updated 5 months ago
- regexes for trees; grep for s-exprsβ18Jul 22, 2026Updated 3 months ago
- β17Oct 16, 2018Updated 8 years ago
- A bare-bones tool for converting JSON5 to plain JSON.β13Aug 20, 2022Updated 4 years ago
- The Functional Virtual Machine.β14Dec 18, 2024Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)β15Feb 15, 2018Updated 8 years ago
- Quasi-quoting library for agdaβ18Nov 29, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A flexible modeling notation Ξβ15Jul 29, 2026Updated 3 months ago
- Ordo: A minimalist language with row polymorphismβ86Feb 3, 2026Updated 9 months ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.β17Dec 10, 2019Updated 6 years ago
- β15Dec 7, 2022Updated 3 years ago
- Big package depending on a lot of open source repos.β15Oct 27, 2026Updated last week
- 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
- Calculus of Constructionsβ19Jul 17, 2019Updated 7 years 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
- Minimalistic dependent type theory with syntactic metaprogrammingβ61Jun 18, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Proofs of the number of inhabitants of polymorphic functionsβ23Jul 19, 2018Updated 8 years ago
- A OCaml generator for well-typed terms (that use their arguments).β14Feb 22, 2025Updated last year
- Salon des RefusΓ©s - Dialectics for new computer scienceβ11Feb 6, 2019Updated 7 years ago
- Source code accompanying "Latent Effects for Reusable Language Components"β15Aug 24, 2021Updated 5 years ago
- A style guide for Coqβ18Nov 30, 2021Updated 4 years ago
- Get contents from notionβ11Jun 25, 2022Updated 4 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.β12Apr 3, 2026Updated 7 months ago
- Notion Database Operatorβ15Sep 30, 2025Updated last year
- Chrome extension for granular visual control over Notion.soβ65Aug 21, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Resurrecting Lennart Augustsson's implementation of Cayenneβ38Jul 23, 2013Updated 13 years ago
- notification to slack in Dangerfileβ11Jun 28, 2026Updated 4 months ago
- Supercharge your All-in-One workspace with the Command Palette within Notion πΉοΈβ27Jul 23, 2022Updated 4 years ago
- Bruce Hoyt's Forth Editor (Dad's editor that I grew up coding with)β27Aug 3, 2023Updated 3 years ago
- A script that can help you find JOSS reviewersβ13Jul 7, 2020Updated 6 years ago
- Chrome extension to enable and disable other extensions quicklyβ14Oct 14, 2022Updated 4 years ago
- Interactive Web Console for Rebol language (Ren-C branch)β15Dec 16, 2025Updated 10 months ago