Sync task issue closure to hierarchical parent tracking issues
☆17Jul 11, 2023Updated 3 years ago
Alternatives and similar repositories for sync-task-issues
Users that are interested in sync-task-issues are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 5 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- Plug-in for vim to use notmuch☆17Nov 17, 2017Updated 8 years ago
- The website for the Stacks project☆19May 22, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search☆17Nov 22, 2017Updated 8 years ago
- Formal verification of parts of the Stacks Project in Lean☆23Sep 24, 2021Updated 4 years ago
- sget is a keyless safe script retrieval and execution tool☆18Feb 7, 2022Updated 4 years ago
- Use Uploadcare images for Contentful image fields☆10Apr 6, 2021Updated 5 years ago
- Expressive validator for Node and the browser, with a small footprint and awesome performance☆15Oct 8, 2022Updated 3 years ago
- Sourcode for the octokit.rest website☆11Aug 31, 2025Updated 11 months ago
- A general-purpose lens library for Rust.☆32Dec 18, 2016Updated 9 years ago
- Seed your DynamoDB database easily☆11Oct 23, 2017Updated 8 years ago
- Creates a new file on a new branch and opens a new pull request.☆15Jan 4, 2023Updated 3 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.
- The open-sauced actions☆11Dec 16, 2023Updated 2 years ago
- React Component that converts a Markdown file to HTML☆10Apr 24, 2015Updated 11 years ago
- Add YouTube interactions into Orbit workspaces☆12Sep 13, 2023Updated 2 years ago
- solid.js port of Bedrock Layout Primitives☆13Feb 17, 2024Updated 2 years ago
- Rust bindings for xlib. UNMAINTAINED☆23Jan 2, 2016Updated 10 years ago
- this is a repo that I shall install bots to☆14May 21, 2023Updated 3 years ago
- Depreciated repo: home of the old go client. See netlify/open-api for the new home of the go client☆15Feb 26, 2019Updated 7 years ago
- ☆15Apr 21, 2021Updated 5 years ago
- SQL query engine☆16Aug 14, 2026Updated last week
- 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.
- DOES NOT WORK WITH VERSIONS > 0.10.0 - A simple library to help you build node-based identity providers that work with Hydra.☆19Oct 5, 2017Updated 8 years ago
- This action gathers metrics about the repository and loads them to a Firebase database that you specify.☆13Jan 5, 2023Updated 3 years ago
- A super simple class to generate Gravatar images based on email addresses.☆16Mar 15, 2014Updated 12 years ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 11 months ago
- Obfuscation / Integer Masking library to encrypt numeric id to short string, generating a similar result to YouTube video id.☆18Jun 25, 2021Updated 5 years ago
- A Santa tracker app build using Fabulous☆15Dec 5, 2020Updated 5 years ago
- Mirror your new main branch to your old master branch (or mirror any branch A to any branch B)☆12Aug 15, 2024Updated 2 years ago
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆15Mar 10, 2024Updated 2 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.
- Lua bindings for Deno.☆14Jun 12, 2022Updated 4 years ago
- A Node.js implementation for trackmania.io☆11Aug 6, 2026Updated 2 weeks ago
- Renders text to a WebGL texture☆19Dec 7, 2017Updated 8 years ago
- An open job board for developers in Hong Kong☆10Mar 24, 2016Updated 10 years ago
- 📱 A minimal, clean client for Hashnode☆12Jul 8, 2021Updated 5 years ago
- A real-time SSS approximation demo.☆11Jun 11, 2019Updated 7 years ago
- Add Git related mappings on file:// scheme of fern.vim☆12Sep 24, 2020Updated 5 years ago