GitHub workflow-optimizing bot by @zulip
☆92Feb 25, 2026Updated last month
Alternatives and similar repositories for zulipbot
Users that are interested in zulipbot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ls cli command, except with CID hashes for all files☆11Sep 6, 2023Updated 2 years ago
- Interactive showcase of projects and products built using IPFS, the InterPlanetary File System.☆18Feb 2, 2026Updated last month
- A Postgres interface into any database☆16Mar 29, 2024Updated last year
- A better way to browse GitHub issues.☆26Sep 6, 2018Updated 7 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 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.
- Automatically add community documentation to your repository☆22May 16, 2020Updated 5 years ago
- Execute and optionally rewrite code blocks in Markdown files based on external commands☆21Jan 4, 2026Updated 2 months ago
- Add monitoring and logging to your Github Actions☆10Mar 10, 2026Updated 2 weeks ago
- Template for a basic academic page☆17Feb 24, 2026Updated last month
- Logiciel utilise sur la plateforme HAL☆12Jul 13, 2021Updated 4 years ago
- Install asdf plugins with dotbot☆13Mar 5, 2025Updated last year
- A cross-browser extension that lets you search, filter, and use openly-licensed images.☆25Feb 2, 2023Updated 3 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Development repository for dmg Chef cookbook☆42Apr 6, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- DEPRECATED: 18F Guides Template style elements, derived from CFPB/DOCter☆11Jul 30, 2019Updated 6 years ago
- Nix packages for reproducible MIR research☆16Mar 16, 2026Updated last week
- My configs for a Linux development environment with git, zsh, vim, tmux and friends☆11Apr 17, 2019Updated 6 years ago
- JSON API implementation for aiohttp☆20Dec 8, 2022Updated 3 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Mar 23, 2025Updated last year
- The Rocq Prover bot☆26Jan 30, 2026Updated last month
- Facility Reconciliation Tool☆11Jan 4, 2023Updated 3 years ago
- Web app for visualization the state of the Penumbra DEX☆12Apr 10, 2025Updated 11 months ago
- Host any VuePress project on IPFS☆14Mar 26, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- High level xmpp client for node.js☆31Mar 7, 2023Updated 3 years ago
- Because we don't have time for spam, nor patience for ignoring it☆14Jan 25, 2021Updated 5 years ago
- Binary logical relations library for the Coq proof assistant☆22Oct 15, 2025Updated 5 months ago
- Scrape Twitter user details☆15Sep 9, 2016Updated 9 years ago
- Lamdera port of elm-spa realworld implementation, adding a full backend implementation.☆27Dec 17, 2024Updated last year
- Changelog generator based on github milestones or tags.☆43Jul 5, 2020Updated 5 years ago
- The Pretty PDF Printer--Converting ODK XlsForm Excel files into "paper questionnaires".☆12Dec 8, 2022Updated 3 years ago
- ☆23Mar 30, 2023Updated 2 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Yield-Farming contracts of Sun.☆10Mar 2, 2026Updated 3 weeks ago
- [DEPRECATED] Main repository of the Cadasta platform. Technology to help communities document their land rights around the world.☆54May 24, 2020Updated 5 years ago
- ☆17Apr 3, 2024Updated last year
- extendable field for use in Django Models☆29May 7, 2023Updated 2 years ago
- create multiple live distro on usb - ruby version☆13Nov 18, 2013Updated 12 years ago
- EOSIO Enhancement Proposals☆15Jun 18, 2023Updated 2 years ago
- Git VCS Support for TeamCity☆14Mar 19, 2026Updated last week