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
Sorting:
- Run tests in your markdown☆11Jan 15, 2021Updated 5 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- A free and open-source GUI tool that simplifies combining multiple code files into one, with automatic labeling and support for various p…☆14Jan 3, 2025Updated last year
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- signed distance function to obj with gpu.js☆15Dec 9, 2022Updated 3 years ago
- ☆13Oct 1, 2024Updated last year
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- SQLite bindings for Lean☆38Mar 12, 2026Updated last week
- My personal overlay for Gentoo. Contains openrazer ebuilds and friends mostly.☆10Jul 11, 2022Updated 3 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- 🙋 Survey app which collects anonymized instance data to improve Nextcloud☆11Updated this week
- Based on ITUS 1.51 SP1☆10Jul 8, 2018Updated 7 years ago
- my dotfiles☆10Jul 24, 2021Updated 4 years ago
- guarded interaction trees☆11Jul 4, 2025Updated 8 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Jan 26, 2026Updated last month
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18May 8, 2020Updated 5 years ago
- ☆11Jun 24, 2024Updated last year
- Ascentroid is a free-flight, six-degree-of-freedom scifi first person shooter game built on Unreal Engine 4 with peer-to-peer (P2P) multi…☆13Feb 25, 2026Updated 3 weeks ago
- A work in progress polygon operations library with integer snap-rounding☆18Mar 24, 2023Updated 2 years ago
- PDF.js sandbox based on quickjs☆15Feb 21, 2026Updated last month
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- App for Nextcloud providing a proper search page☆13Updated this week
- ☆16Jun 16, 2024Updated last year
- Horizontal scalability for WebSocket applications☆15Mar 2, 2017Updated 9 years ago
- LINK TO THE PROGRAM:☆10Dec 14, 2016Updated 9 years ago
- Browser support for Lean using a monaco editor.☆14Mar 15, 2026Updated last week
- A Nextcloud docker compose file☆14Jan 25, 2022Updated 4 years ago
- ☆20Oct 28, 2022Updated 3 years ago
- ☆10Jun 6, 2025Updated 9 months ago
- An open-source magic mod built around classical alchemy to replicate and transmutate matter, and create magical artifacts.☆19Jan 30, 2026Updated last month
- Shared resources for clients☆10Mar 21, 2024Updated 2 years ago
- Userscript for Bluesky that adds Vim-like navigation, read/unread post-tracking, and other features☆13Updated this week
- Your favorite web apps, now on your phone.☆36Mar 15, 2026Updated last week
- Verification-Driven Development☆21Mar 26, 2021Updated 4 years ago
- A web interface for labelle DYMO label printers. Compose labels with text, QR codes, and barcodes in your browser, with a live preview an…☆44Updated this week
- Pi Stack project: http://lellep.xyz/pi-stack/☆15Jan 9, 2022Updated 4 years ago
- Unofficial fork from http://www.apcupsd.org/☆12May 20, 2024Updated last year
- .NET interface to GnuCash☆12Aug 11, 2023Updated 2 years ago