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:
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- 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
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- ☆11May 12, 2026Updated 3 months 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.
- guarded interaction trees☆14Jul 6, 2026Updated last month
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 6 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- ☆20Oct 28, 2022Updated 3 years ago
- Worskpace manager for the shell☆14Aug 22, 2026Updated last week
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆18Jul 28, 2026Updated last month
- Keycloak gatekeeper middleware for traefik☆12Updated this week
- 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.
- Deterministic executor + network sim for tokio-based systems.☆20Jul 30, 2026Updated last month
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22Aug 11, 2026Updated 3 weeks ago
- Subscribe to a public Notion page for changes and run a command on every detected change☆13Apr 6, 2021Updated 5 years ago
- OpenTelemetry exporter for Cloudflare☆11Jun 16, 2026Updated 2 months ago
- Clarify your words with emojis☆12Aug 25, 2016Updated 10 years ago
- Browser support for Lean using a monaco editor.☆17Aug 21, 2026Updated last week
- ☆15Jul 7, 2022Updated 4 years ago
- Sync FastAPI boilerplate. Auth Enabled. Supabase. Postgres☆12May 28, 2025Updated last year
- Image Proxy for use with Wallets☆13Mar 14, 2024Updated 2 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.
- AAFragmentManager is a child view manager responsible to add child subviews in UIView and easy switching between them, written in Swift.☆13Mar 20, 2022Updated 4 years ago
- [wip] ssh agent for bitwarden☆12Sep 9, 2024Updated last year
- Naivechain port in Scala using Akka☆17Feb 9, 2018Updated 8 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- Unofficial API for Notion.so productivity tool written in Rust☆13Feb 28, 2021Updated 5 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…☆17Dec 12, 2022Updated 3 years ago
- WordPress plugin to add white space between blocks and customize its height for each device.☆10Aug 23, 2026Updated last week
- script for fully automated hetzner root server setup from rescue mode☆21Nov 5, 2013Updated 12 years ago
- A helm plugin for ArgoCD to support the lookup function☆10Jun 13, 2026Updated 2 months 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.
- ☆14Apr 13, 2024Updated 2 years ago
- HAL: A Library for Homomorphic Authentication☆23Apr 3, 2017Updated 9 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
- Userscript for Bluesky that adds Vim-like navigation, read/unread post-tracking, and other features☆14Apr 6, 2026Updated 4 months ago
- There's no place like $HOME☆13Jul 17, 2026Updated last month
- ☆17Apr 22, 2019Updated 7 years ago
- Nag-free WordPress Dashboard - https://handyplugins.co/blog/unagi-a-new-way-to-get-rid-of-wordpress-nags/☆11Aug 11, 2026Updated 3 weeks ago