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:
- "BookMeUp" uses the Amazon Product Advertising API to suggest related books to read based on a user's location and/or search query. This …☆17Feb 10, 2021Updated 5 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 6 years ago
- Consortia Collaborating on a Platform for Usage Statistics☆11Aug 7, 2025Updated 9 months ago
- 🦅 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
- AI Agents on 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.
- PySUSHI is a locally-deployed system for automated collection and storage of COUNTER reports via SUSHI protocols.☆11Dec 8, 2022Updated 3 years ago
- Collection of Tools for Sierra ILS Libraries☆10Jun 26, 2019Updated 6 years ago
- Small Python script that can be used to automate maintaining a New Book collection in Alma for display to patrons in Primo VE☆13Oct 23, 2023Updated 2 years ago
- Syntax highlighting for F* in Atom Editor☆11Oct 4, 2021Updated 4 years ago
- Generic online signature for Django☆22Mar 24, 2022Updated 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
- Antenna analyzer based on RigExpert Zero II and Arduino☆13Jan 25, 2024Updated 2 years ago
- GitHub action for use AutoCorrect as lint☆13Apr 9, 2025Updated last year
- 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.
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 4 years ago
- ☆12Jan 9, 2018Updated 8 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
- Parse Core Data Model (.xcdatamodel) Files☆39Jul 8, 2019Updated 6 years ago
- Personal short URL resolver☆16Sep 14, 2024Updated last year
- ☆15Apr 18, 2019Updated 7 years ago
- A Prolog Implementation(Internal DSL, External DSL, REPL) in Scala.☆30Feb 19, 2010Updated 16 years ago
- A Multifunctional Laser Tripwire☆13Sep 9, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Aliyun OSS storage with Backup☆12Jul 14, 2020Updated 5 years ago
- Docker containers that demonstrate a proof of concept bwa alignment workflow☆14Jan 13, 2015Updated 11 years ago
- Simple go package for transforming animated GIFs☆10Jun 23, 2020Updated 5 years ago
- GCC for Epiphany☆17Mar 25, 2019Updated 7 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
- A tutorial to set up a running compute cluster on cloud resources☆11Jul 7, 2023Updated 2 years ago
- Themes for AsciiDoc and a framework for assembling them ...☆23Jan 29, 2013Updated 13 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 10 years ago
- 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.
- A simple library for working with your CONTENTdm item and collection metadata as Python objects.☆14Mar 3, 2014Updated 12 years ago
- Celus is a web application for harvesting and visualizing usage statistics of electronic information sources☆19Dec 22, 2025Updated 4 months ago
- Kickstart Coding's Django Project Starter Template☆15Aug 10, 2022Updated 3 years ago
- a tiny dialogue tree generator/runner for node☆13Feb 13, 2012Updated 14 years ago
- Rick Cogley's dotfiles, managed by gnu stow, spit and gum.☆12Jul 25, 2025Updated 9 months ago
- A curated list of CTF frameworks, libraries, resources and softwares☆10Nov 11, 2015Updated 10 years ago
- Old VPC: see joyent/freebsd-vpc☆10Dec 15, 2023Updated 2 years ago