A github WebHook that emails detailed diffs of your commits.
☆26Oct 13, 2018Updated 8 years ago
Alternatives and similar repositories for gitdub
Users that are interested in gitdub are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple request metering for the WordPress REST API☆15Mar 16, 2018Updated 8 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- ☆10Jun 29, 2021Updated 5 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆13Nov 3, 2022Updated 4 years ago
- Search GitHub repositories☆16Apr 19, 2018Updated 8 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.
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- ☆11Nov 27, 2024Updated last year
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆10Jul 13, 2020Updated 6 years ago
- Android app for Evergreen™ Libraries☆14Updated this week
- A high-speed image resizing gem based on VIPS☆11Oct 26, 2013Updated 13 years ago
- ☆16Jul 1, 2015Updated 11 years ago
- misc. pymarc scripts I wrote to manage a messy catalog☆14Nov 7, 2014Updated 11 years ago
- Cocoa classes for having fun with Mountain Lion's Notification center, as well as a sample app.☆11Aug 4, 2018Updated 8 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 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.
- A virtual machine for the Epiphany processor architecture on Parallella boards.☆11Nov 28, 2013Updated 12 years ago
- An implementation of the IETF QUIC protocol in F*☆21Aug 8, 2019Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 9 months ago
- GitHub action for use AutoCorrect as lint☆12Apr 9, 2025Updated last year
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- web pipes for your browser's omnibar!☆12Sep 22, 2011Updated 15 years ago
- Actor Rails provides Rails support to the Actor service objects☆13Sep 28, 2025Updated last year
- Old website for the UK Society of Research Software Engineers - not the source for the live site at rse.ac.uk. To suggest changes to that…☆12Jun 4, 2024Updated 2 years ago
- Experiences with jabberbot and yahoo rest services☆12Jul 17, 2010Updated 16 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Jan 9, 2018Updated 8 years ago
- Simplified Audio MODEM in JavaScript☆11Mar 26, 2015Updated 11 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 5 years ago
- SublimeLinter plugin for python, using pydocstyle.☆10Apr 24, 2025Updated last year
- A language agnostic collaborative cloud IDE☆20Apr 20, 2015Updated 11 years ago
- Makes a new empty commit on GitHub using API☆11Sep 13, 2021Updated 5 years ago
- Re-usable results data for the 2015 UK Parliamentary Elections☆10May 29, 2015Updated 11 years ago
- A Multifunctional Laser Tripwire☆14Sep 9, 2019Updated 7 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 11 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.
- Example angular setup in Rails.4.1 app☆11Sep 18, 2014Updated 12 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- Growl notifications for Gowalla checkins☆11Sep 2, 2009Updated 17 years ago
- EBSCO Koha Plugin☆18Feb 4, 2026Updated 9 months ago
- The greatest jotting web app of all time☆11Mar 26, 2008Updated 18 years ago
- A curated list of awesome threat detection and hunting resources☆10Mar 23, 2018Updated 8 years ago
- Convert linter output into annotations for the GitHub Checks API☆11Sep 22, 2018Updated 8 years ago