A GitHub Action to validate HTML, check links, and more ✅
☆124Jan 17, 2026Updated 5 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 cozy microblog☆14Jun 27, 2026Updated last week
- A Probot app that takes care of your GitHub repos for you☆13Updated this week
- Install Eclipse Temurin™ build of OpenJDK☆18Jun 25, 2026Updated last week
- ☆10May 28, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Flare’s documentation site for builders ☀️☆53Jun 22, 2026Updated last week
- The SFC (Special Fee Contract) maintains the chain validators and their delegations.☆15Jun 24, 2026Updated last week
- Library of Coq proof automation☆16Apr 1, 2026Updated 3 months ago
- mdast extension to parse and serialize GFM autolink literals☆16Jun 3, 2026Updated last month
- RWMutex for sharing of multicore machines.☆17May 24, 2019Updated 7 years ago
- Elixir library for creating self-describing content-addressed identifiers for distributed systems (CIDs).☆19Jan 17, 2019Updated 7 years ago
- 🎯 Automatically add reviewers/assignees to issues/PRs☆57Jul 12, 2024Updated last year
- OLD Produces the UI bundle used by the Couchbase documentation site.☆11Aug 4, 2020Updated 5 years ago
- A package for representing VTK data types and manipulating them in Julia.☆10Sep 24, 2023Updated 2 years ago
- 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.
- Unoffical CMake-based build system for android build tools☆47Updated this week
- Converts IRC minutes to HTML☆11Oct 9, 2024Updated last year
- Repository showcasing the power of CoW Protocol smart orders☆12Nov 19, 2023Updated 2 years ago
- Project documentation for the 2020-21 W3C website redesign project☆16Sep 18, 2024Updated last year
- Multiplayer interactive fiction system based on Inform 7☆11Jun 24, 2026Updated last week
- Code for www.wbtc.network☆10Aug 4, 2020Updated 5 years ago
- ☆30Apr 15, 2025Updated last year
- Make changes to your npmjs.com profile via cli or library☆37Jun 18, 2026Updated 2 weeks ago
- Template version of https://github.com/akhater/akhater.github.io☆11May 13, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The ultimate ADB tools, utilities, and functions, all in one sleek command: "nadb"☆12Nov 2, 2025Updated 8 months ago
- Simple, easily customizable and powerful database load testing tool. Provides real-time in-browser aggregate stats. Supports MySQL, Postg…☆13Jan 10, 2025Updated last year
- Open the URL from a web shortcut file in the browser☆20Nov 3, 2021Updated 4 years ago
- Library plugin for DSL plugins that need concise names for Jenkins extensions☆11Apr 6, 2026Updated 2 months ago
- Enforce access restrictions to deprecated code☆20Jun 15, 2026Updated 2 weeks ago
- A Collection of drawing made using only CSS.☆21Aug 21, 2024Updated last year
- 🍣 Itsudeno is a scriptable IT automation system written in TypeScript and running on Deno. It can be used to easily deploy and configure…☆17Dec 1, 2022Updated 3 years ago
- IP2Location.io command line to query IP geolocation data from IP2Location.io API☆23Apr 22, 2026Updated 2 months ago
- Open the URL from a web shortcut file☆17Nov 3, 2021Updated 4 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.
- Curated staking contracts for Collab.Land token gating☆28Jun 18, 2026Updated 2 weeks ago
- A comprehensive MCP server for Gradle.☆54Updated this week
- ♿ Accessible pygments themes☆27Jun 1, 2026Updated last month
- I am developing a set of general-purpose shareable data structures for C# and Java all of whose fields are public readonly/final, and use…☆11Jun 22, 2026Updated last week
- This utility library has been moved to the EthereumJS VM monorepo.☆12Dec 10, 2020Updated 5 years ago
- Provides additional options to restrict job execution in Jenkins☆11May 30, 2026Updated last month
- HTML rendering with `lit-html` for Stimulus Controllers.☆13Oct 6, 2023Updated 2 years ago