GitHub Action that checks HTML5 syntax.
☆49Sep 19, 2025Updated 10 months ago
Alternatives and similar repositories for html5validator-action
Users that are interested in html5validator-action are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An API to allow developers transfer the ability to use restricted APIs to any target window in the frame tree.☆16Jul 9, 2024Updated 2 years ago
- SupercolorpixelisticXDRidocious Web Components☆13Sep 16, 2021Updated 4 years ago
- An MCP Server for JSer.info☆22May 6, 2025Updated last year
- The MacPorts website☆18Apr 23, 2026Updated 3 months ago
- Native lazy loading plugin for Rehype☆16Feb 28, 2021Updated 5 years 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.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 2 months ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Babel plugin and helper functions for interoperation between Node.js native ESM and Babel ESM☆25Updated this week
- ☆11Mar 31, 2023Updated 3 years ago
- A web API proposal for watching for close requests (e.g. Esc, Android back button, ...)☆81Aug 19, 2025Updated 11 months ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Basic template helpers for printing messages out to the console. Useful for debugging context in templates. Should work with any template…☆13Oct 24, 2018Updated 7 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆25Oct 19, 2016Updated 9 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.
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Aug 11, 2026Updated last week
- Browserify transform for SWC☆11Mar 16, 2019Updated 7 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Integration of the planning system Fast Downward with the unified-planning framework.☆14Aug 5, 2025Updated last year
- Metadata agent for configuration of illumos guests on DigitalOcean☆16May 14, 2025Updated last year
- ☆11Apr 14, 2023Updated 3 years ago
- WebAppSec Confinement Origin Web Labels☆11Feb 16, 2021Updated 5 years ago
- Tools for working on the MacPorts ports tree☆34Dec 6, 2024Updated last year
- 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.
- This is a Vim HTML compiler for validating against http://validator.nu.☆14Nov 28, 2017Updated 8 years ago
- A Promise-based wrapper around IndexedDB with sane error and transaction handling☆12Mar 14, 2020Updated 6 years ago
- ☆18Feb 20, 2025Updated last year
- DEPRECATED: This is no longer used for my website. See https://github.com/ifd3f/seams for its replacement.☆14Jan 28, 2024Updated 2 years ago
- Infra for the CocoaPods CDN☆13Updated this week
- 📦 A starter template for static sites☆10Jul 28, 2026Updated 3 weeks ago
- Alpha Streams Public SDK.☆12Mar 27, 2024Updated 2 years ago
- Haskell Bot it :: Haskell framework for writing multiplatform message bots☆12Sep 28, 2017Updated 8 years ago
- HTML minimizer webpack plugin☆15May 8, 2026Updated 3 months 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.
- ☆10Apr 19, 2023Updated 3 years ago
- A live version of the web-platform-tests project☆20Apr 3, 2026Updated 4 months ago
- A curated list of awesome Rust code and resources.☆10Mar 21, 2015Updated 11 years ago
- ♿️ React & Next.js example how to meet WCAG 2.1 in the real world apps☆30Jan 13, 2021Updated 5 years ago
- CLI for validating html using validator.w3.org/nu☆30Updated this week
- A thin MCP proxy☆11May 22, 2026Updated 2 months ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago