Notify when watched file(s) change in a GitHub repo
☆35Mar 16, 2023Updated 3 years ago
Alternatives and similar repositories for commit-hawk
Users that are interested in commit-hawk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- SQLite bindings for Lean☆43Apr 23, 2026Updated last week
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆22Mar 29, 2026Updated last month
- 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.
- ☆11Jun 24, 2024Updated last year
- A work in progress polygon operations library with integer snap-rounding☆18Mar 24, 2023Updated 3 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- ☆20Oct 28, 2022Updated 3 years ago
- Ruby gem to verify a pre-defined HTTP headers configurations.☆19Jan 8, 2024Updated 2 years ago
- Userscript for Bluesky that adds Vim-like navigation, read/unread post-tracking, and other features☆14Apr 6, 2026Updated 3 weeks ago
- Verification-Driven Development☆21Mar 26, 2021Updated 5 years ago
- Deterministic executor + network sim for tokio-based systems.☆20Apr 13, 2026Updated 2 weeks ago
- Makes post filters match Media & Attachments☆12Mar 10, 2020Updated 6 years ago
- 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.
- Sync FastAPI boilerplate. Auth Enabled. Supabase. Postgres☆12May 28, 2025Updated 11 months ago
- [wip] ssh agent for bitwarden☆12Sep 9, 2024Updated last year
- Clarify your words with emojis☆12Aug 25, 2016Updated 9 years ago
- Unofficial API for Notion.so productivity tool written in Rust☆13Feb 28, 2021Updated 5 years ago
- Naivechain port in Scala using Akka☆17Feb 9, 2018Updated 8 years ago
- Minimal example of how to use FastAPI and Supabase Auth. Draws reference from: https://testdriven.io/blog/fastapi-jwt-auth/ and https://w…☆15Dec 12, 2022Updated 3 years ago
- WordPress plugin to add white space between blocks and customize its height for each device.☆10Apr 23, 2026Updated last week
- There's no place like $HOME☆12Feb 19, 2026Updated 2 months ago
- See what's going on inside of WordPress☆13Nov 1, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Help deobfuscate VBScript☆18Jul 1, 2022Updated 3 years ago
- HAL: A Library for Homomorphic Authentication☆23Apr 3, 2017Updated 9 years ago
- Magic Login for WordPress. Easy, secure, and passwordless authentication for WordPress. https://handyplugins.co/magic-login-pro/☆14Apr 16, 2026Updated 2 weeks ago
- ☆13Apr 13, 2024Updated 2 years ago
- A proof of concept Administration UI for the WP Fields API 2016 https://github.com/sc0ttkclark/wordpress-fields-api☆12Mar 8, 2016Updated 10 years ago
- Templates for Grafana Dashboards☆12Feb 27, 2026Updated 2 months ago
- Kira's micro-bot to fight with stale GitLab issues and merge requests☆17Apr 22, 2026Updated last week
- Easily add a custom conference schedule or event schedule (in responsive table format) to your website with either a Gutenberg block or a…☆10Sep 20, 2023Updated 2 years ago
- Nag-free WordPress Dashboard - https://handyplugins.co/blog/unagi-a-new-way-to-get-rid-of-wordpress-nags/☆11Apr 16, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Simple AutoIt crypter.☆11Mar 3, 2017Updated 9 years ago
- Model, Data Store, Data Transfer Object and REST API Controller Library for WordPress☆15Oct 30, 2017Updated 8 years ago
- k8s operator for Flyway migrations☆12Updated this week
- ☆15Dec 15, 2023Updated 2 years ago
- A clean install for a new or wiped Mac☆12Aug 14, 2025Updated 8 months ago
- A lightweight WordPress plugin that seeks to answer the question "is my WordPress cron running?"☆14Apr 10, 2023Updated 3 years ago
- Image Proxy for use with Wallets☆13Mar 14, 2024Updated 2 years ago