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 7 years ago
- Growl, for Cappuccino☆25Mar 18, 2015Updated 11 years ago
- ☆10Jan 8, 2022Updated 4 years ago
- SDCC with Fuzix patches and Z280 work in progress☆19May 23, 2023Updated 2 years ago
- ☆11Nov 27, 2024Updated last year
- 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.
- Spacemacs layer for fstar (wrapper for fstar-mode.el)☆11Jul 13, 2020Updated 5 years ago
- CP/M with +3DOS volumes made for ZXUno☆17Nov 26, 2023Updated 2 years ago
- C API for Vortex Tracker II Player☆12Jun 7, 2022Updated 3 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 14 years ago
- Cappuccino file upload button and sample application☆27Dec 23, 2013Updated 12 years ago
- The software to emulate an ATARI ST mouse using a Raspberry Pi as the hardware interface☆19Dec 30, 2018Updated 7 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- set of scripts used for Performance Tuning, Capacity Planning and Sizing☆11Mar 5, 2022Updated 4 years ago
- Raspberry Pi control for Robosapien☆15Jun 17, 2016Updated 9 years ago
- 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.
- Demo code for ZX Spectrum Next☆17Aug 7, 2025Updated 7 months ago
- Nothing serious or finished, just playing with events, feeds, activities, timelines, wooooooooooo☆10Dec 6, 2018Updated 7 years ago
- EmuTOS is a Free operating system for Atari ST computers, and more.☆28Oct 5, 2021Updated 4 years ago
- crap-o-scope scope implementation for icestick☆20Jun 1, 2018Updated 7 years ago
- Administrative tool for your ipfs.pics server☆13Aug 16, 2016Updated 9 years ago
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- Play vintage computer games on real hardware, single-step debug Z80 programs and test new hardware with the BusRaider for RC2014. https:/…☆23Feb 10, 2023Updated 3 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- use delay/sleep/wait to async/await ES7☆12Jul 21, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- web pipes for your browser's omnibar!☆12Sep 22, 2011Updated 14 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 Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- An art package for the ZX Spectrum Next☆19Nov 26, 2023Updated 2 years ago
- Docker containers that demonstrate a proof of concept bwa alignment workflow☆14Jan 13, 2015Updated 11 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Sep 23, 2019Updated 6 years ago
- Simple go package for transforming animated GIFs☆10Jun 23, 2020Updated 5 years ago
- 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.
- Yet Another Open Source GitHub Clone☆21Sep 7, 2011Updated 14 years ago
- Binary logical relations library for the Coq proof assistant☆22Oct 15, 2025Updated 5 months ago
- Source of the Valvers website☆13Feb 11, 2023Updated 3 years ago
- a tiny dialogue tree generator/runner for node☆13Feb 13, 2012Updated 14 years ago
- Old VPC: see joyent/freebsd-vpc☆10Dec 15, 2023Updated 2 years ago
- A curated list of CTF frameworks, libraries, resources and softwares☆10Nov 11, 2015Updated 10 years ago
- More than just mustaches.☆10Jul 28, 2012Updated 13 years ago