A GitHub Action to validate HTML, check links, and more β
β116Jan 17, 2026Updated 2 months ago
Alternatives and similar repositories for proof-html
Users that are interested in proof-html are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A macro system for hubot π¨β16Mar 5, 2023Updated 3 years ago
- Tools for reasoning about circuits in Rosette/Racket πβ19Feb 1, 2025Updated last year
- γ»γ£γ¨γγγγ€γ―γγγγ°β14Mar 17, 2026Updated last week
- A JS/TS SDK for interacting with Switchblade API serversβ20Dec 24, 2024Updated last year
- An Elm implementation of the TodoMVC's to-do list web application.β12Feb 3, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- mdast extension to parse and serialize GFM autolink literalsβ16Jan 23, 2025Updated last year
- OLD Produces the UI bundle used by the Couchbase documentation site.β11Aug 4, 2020Updated 5 years ago
- Unoffical CMake-based build system for android build toolsβ38Aug 5, 2025Updated 7 months ago
- Converts IRC minutes to HTMLβ11Oct 9, 2024Updated last year
- Fast, simple, cryptographically strong random numbers in C++. Experimental.β19Dec 12, 2013Updated 12 years ago
- Multiplayer interactive fiction system based on Inform 7β11Nov 18, 2025Updated 4 months ago
- Fast, small, zero-config library to format CSS using basic rules.β16Updated this week
- β11Aug 24, 2018Updated 7 years ago
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers caβ¦β10Jun 26, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Template version of https://github.com/akhater/akhater.github.ioβ11May 13, 2020Updated 5 years ago
- The ultimate ADB tools, utilities, and functions, all in one sleek command: "nadb"β11Nov 2, 2025Updated 4 months ago
- Library plugin for DSL plugins that need concise names for Jenkins extensionsβ11Feb 23, 2026Updated last month
- Composable web component helpers for creating reactive web components that behave just like native HTML elements. WIP.β21Updated this week
- Enforce access restrictions to deprecated codeβ20Mar 16, 2026Updated last week
- VS Code syntax highlight extension for browserslist and .browserslistrc filesβ16Aug 23, 2023Updated 2 years ago
- Provides additional options to restrict job execution in Jenkinsβ11Mar 1, 2026Updated 3 weeks ago
- Embedding SQLite in Redis, with a sane license (Apache)β11Jun 30, 2021Updated 4 years ago
- HTML rendering with `lit-html` for Stimulus Controllers.β13Oct 6, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a proposal to add float16 TypedArrays to JavaScriptβ65May 24, 2025Updated 10 months ago
- Summaries of findings from Ampleforth auditsβ12Jun 2, 2025Updated 9 months ago
- Simple EXIF Editor for Android: Delete EXIF, modify date & coordinatesβ29Oct 6, 2025Updated 5 months ago
- Version 2 of Intl Segmenter. Adding line break support.β12May 10, 2022Updated 3 years ago
- To-the-point tutorials on Eleventy. π―β11Dec 9, 2025Updated 3 months ago
- Java binding for Microsoft msquicβ11Oct 19, 2024Updated last year
- Provide a list of iOS Plugins, like Today Extension, AppleWatch app etc.β14Mar 21, 2017Updated 9 years ago
- WatchCuts and Cronios lets you trigger the running of shortcuts on iPhone and iPad straight from your connected iCloud devices, includingβ¦β13Mar 29, 2019Updated 6 years ago
- Get the URL from a web shortcut fileβ17Aug 14, 2021Updated 4 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.
- libzfs binding for Javaβ12Feb 4, 2020Updated 6 years ago
- Enforce usage of custom media queries in CSSβ16Updated this week
- Hexagons and Beyond: Flexible, Responsive Grid Patterns without Media Queriesβ16Jun 3, 2022Updated 3 years ago
- An OpenFAAS template for Quarkus.io serverless native functionsβ10Jul 29, 2021Updated 4 years ago
- DMRG and DMRGSCFβ15Mar 8, 2024Updated 2 years ago
- In this repository I have some Jenkins examples that hope might require usefulβ10Apr 19, 2020Updated 5 years ago
- A comprehensive IMU library for Sony Spresense Multi-IMU Add-on board.β15Jul 16, 2025Updated 8 months ago