A GitHub Action to validate HTML, check links, and more ✅
☆138Jul 26, 2026Updated 3 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:
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- A Web Platform API that allows websites to notify the browser about their users login status☆19Sep 18, 2024Updated 2 years ago
- 🎯 Automatically add reviewers/assignees to issues/PRs☆61Jul 12, 2024Updated 2 years ago
- ☆33Jul 2, 2026Updated 4 months ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆18Jun 9, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- HTMLHint extensions for VS Code☆22Oct 24, 2026Updated last week
- Generate GitHub metrics and commit them to repository☆26May 24, 2026Updated 5 months ago
- Public website hosted on GitHub Pages, dedicated to comprehensive documentation for Jellycuts.☆21Mar 26, 2026Updated 7 months ago
- ☆11Jul 2, 2024Updated 2 years ago
- GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C☆43Oct 24, 2026Updated last week
- Converts IRC minutes to HTML☆12Oct 9, 2024Updated 2 years ago
- mdast extension to parse and serialize GFM autolink literals☆16Oct 4, 2026Updated 3 weeks ago
- OPAY WEBSITE CLONE☆28Jul 20, 2023Updated 3 years ago
- A hunspell dictionary that supports both enUS (American English) and deDE (German Standard German).☆11Oct 14, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Extension to include jQuery on newer Sphinx releases☆12Jul 15, 2024Updated 2 years ago
- The SFC (Special Fee Contract) maintains the chain validators and their delegations.☆15Jul 13, 2026Updated 3 months ago
- An Action 🎬 to create a Guestbook 📖✒ in your Repository 📚☆12Sep 26, 2024Updated 2 years ago
- rootHide Jailbreak 2.2.2.17 Release: Your Guide to Installation, Compatibility, and More☆13May 10, 2025Updated last year
- ☆15Feb 11, 2025Updated last year
- RWMutex for sharing of multicore machines.☆17May 24, 2019Updated 7 years ago
- OLD Produces the UI bundle used by the Couchbase documentation site.☆11Aug 4, 2020Updated 6 years ago
- A collection of development container 'features' for machine learning and data science☆14Jun 27, 2026Updated 4 months ago
- iOS 17.2 Jailbreak and Jailbreak guides and Download links☆10Nov 1, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Documentation for sourcify☆16Oct 15, 2026Updated 2 weeks ago
- Project documentation for the 2020-21 W3C website redesign project☆16Sep 18, 2024Updated 2 years ago
- JS client for Ston.fi Http API☆90Oct 14, 2026Updated 2 weeks ago
- Code for www.wbtc.network☆10Aug 4, 2020Updated 6 years ago
- Covered is a Verilog code coverage utility using VCD/LXT/FST dumpfiles (or VPI interface) and the design to generate line, toggle, memory…☆31Oct 18, 2018Updated 8 years ago
- Repository for ATAG Report Tool☆18Aug 13, 2026Updated 2 months ago
- On Top of Pasketti: Children’s Speech Recognition Challenge (Word Track)☆12Feb 2, 2026Updated 9 months ago
- PostGIS database for India's Administrative-Territorial Division (ATD). ETL pipeline with hierarchical structure from State to Village le…☆13Feb 7, 2026Updated 8 months ago
- A repository documenting security incident reports at Curve Finance.☆37Aug 11, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Postman Insights Agent makes it easy for you to see the behavior of your production APIs. Use the agent to discover API endpoints and…☆17Updated this week
- Jenkins plugin to monitor pull requests with customizable dashboard. You can also provide a view for your plugin that other developers ca…☆10Oct 1, 2026Updated last month
- Raf Scanner IDE☆12Apr 14, 2023Updated 3 years ago
- Open the URL from a web shortcut file in the browser☆20Nov 3, 2021Updated 5 years ago
- .asf.yaml documentation and schema☆16Updated this week
- CSS Articles written by Temani Afif☆18Aug 4, 2025Updated last year
- Naive WebAudio Vocoder☆16Jun 22, 2012Updated 14 years ago