Zero Install documentation web-site
☆73Sep 14, 2026Updated last week
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 4, 2022Updated 3 years ago
- OnePlus 5/5T MSM8998 kernel source for halogenOS and TWRP☆12Aug 8, 2026Updated last month
- This is a collection of my PowerShell backup tools☆37Oct 6, 2025Updated 11 months ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- OCaml Bytecode Cleaner☆14Apr 19, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Automatic conversion of the NetBSD pkgsrc CVS module, use with care☆12Jul 15, 2026Updated 2 months ago
- Expose a Git repository as a filesystem for the http package☆12Oct 17, 2014Updated 11 years ago
- FUSE filesystem to mount git repos.☆18May 2, 2023Updated 3 years ago
- ☁️🔔 webpush notification support for ntfy☆14Jan 7, 2023Updated 3 years ago
- A streaming oriented, modular and lightweight PHP library for creating ZIP, TAR and 7z archives on-the-fly.☆22Aug 26, 2026Updated 3 weeks ago
- ☆31Dec 27, 2017Updated 8 years ago
- Collection of ISE Menu Add-Ons that I have written☆14Jul 20, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Ask me anything!☆18May 26, 2019Updated 7 years ago
- ☆22Aug 23, 2026Updated last month
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- 🇷🇺 Русский язык для Aseprite с пиксельным шрифтом.☆10Nov 27, 2019Updated 6 years ago
- A scraper that retrieves install/live images (.iso files) from different distributions☆20Dec 10, 2022Updated 3 years ago
- Universal tool for managing your computer. Monitoring of temperatures and power consumption, checking the health status of hard drives an…☆10Feb 13, 2022Updated 4 years ago
- Work in progress on semi-simplicial types☆25Dec 15, 2022Updated 3 years ago
- Etherpad website, docs and downloads☆31Updated this week
- A .Net library to add or remove your program to the startup list as well as detecting the startup session. Supporting Windows XP+ with an…☆33Apr 18, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- ☆14Jun 11, 2021Updated 5 years ago
- line based patch, input is a unified diff☆24Jul 6, 2026Updated 2 months ago
- This is the global manifest for Parrot Ground SDK.☆13Jun 6, 2023Updated 3 years ago
- Lists of .NET Deobfuscator and Unpacker (Open Source)☆14May 29, 2021Updated 5 years ago
- An example showing how to generate html dynamically at run-time based on a model using Run-time T4 templates.☆10Mar 5, 2018Updated 8 years ago
- Proprietary components for the POCO X3 Pro☆11Jun 16, 2023Updated 3 years ago
- PowerShell module that can execute scripts written in markdown that can be accessed either locally or via a URL☆17Sep 13, 2021Updated 5 years ago
- Lightning Fast, Ultra Relevant, and Typo-Tolerant Search Engine☆13Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sorting in PowerShell☆14Feb 24, 2023Updated 3 years ago
- ☆27Sep 15, 2022Updated 4 years ago
- Easily share (and get) PowerShell Scripts from ISE or the command line!☆15Mar 5, 2014Updated 12 years ago
- A PowerShell module for managing metadata in stand-alone functions.☆25May 14, 2026Updated 4 months ago
- PowerShell wrapper for `yq`, enables a better PowerShell pipeline experience☆17Aug 27, 2020Updated 6 years ago
- A flow-based GUI tool for creating python scripts that interact with GPIO Components☆17Jul 18, 2021Updated 5 years ago
- rinetd + ae from redis☆12Jun 10, 2025Updated last year