A github WebHook that emails detailed diffs of your commits.
☆26Oct 13, 2018Updated 7 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:
- Search GitHub repositories☆15Apr 19, 2018Updated 8 years ago
- ☆11Nov 27, 2024Updated last year
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- Cappuccino file upload button and sample application☆27Dec 23, 2013Updated 12 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.
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Nothing serious or finished, just playing with events, feeds, activities, timelines, wooooooooooo☆10Dec 6, 2018Updated 7 years ago
- Administrative tool for your ipfs.pics server☆13Aug 16, 2016Updated 9 years ago
- use delay/sleep/wait to async/await ES7☆12Jul 21, 2016Updated 9 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- Data notification service: subscribe to keywords and get notified whenever an open data sources mentions that keyword.☆24Aug 25, 2013Updated 12 years ago
- Compositional CompCert☆15Jan 9, 2019Updated 7 years ago
- Personal short URL resolver☆16Sep 14, 2024Updated last year
- A Multifunctional Laser Tripwire☆13Sep 9, 2019Updated 6 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.
- ☆15Apr 18, 2019Updated 7 years ago
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- Aliyun OSS storage with Backup☆12Jul 14, 2020Updated 5 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- 📩 A configurable Microservice that centralizes contact requests☆10Jan 31, 2022Updated 4 years ago
- Yet Another Open Source GitHub Clone☆21Sep 7, 2011Updated 14 years ago
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 10 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 11 years ago
- a tiny dialogue tree generator/runner for node☆12Feb 13, 2012Updated 14 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.
- Old VPC: see joyent/freebsd-vpc☆10Dec 15, 2023Updated 2 years ago
- A curated list of awesome threat detection and hunting resources☆10Mar 23, 2018Updated 8 years ago
- Go client for Fuck off as a Service. http://foaas.com☆10May 21, 2016Updated 10 years ago
- Composer script for handling gitignored env files☆11Oct 1, 2022Updated 3 years ago
- 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
- 🗂️ A port of ericflo/django-pagination to Python >= 3.10 + Django 4.2 to 6.0☆13Jun 29, 2026Updated last week
- Stripe Toolkit for Alfred☆15Apr 29, 2021Updated 5 years ago
- A payment application to demonstrate real-world usage of Cypress testing methods, patterns, and workflows.☆10Jan 23, 2021Updated 5 years ago
- libkalibera☆17Mar 17, 2022Updated 4 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.
- yes☆11Sep 24, 2011Updated 14 years ago
- For great justice, and rapid application development☆13Sep 14, 2025Updated 9 months ago
- An Android live wallpaper which plays the brick-busting game of breakout around your icons. Available on the Android Market.☆20Oct 16, 2010Updated 15 years ago
- this repository is obsolete please go to our new repository☆14Jan 12, 2018Updated 8 years ago
- International Address formatter which considers the standard formatting rules of the country☆14Nov 21, 2024Updated last year
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated last month
- Script to udpate your yarn.lock file from CircleCI, run after greenkeeper changes☆10Jun 23, 2017Updated 9 years ago