jonabc/sync-task-issues external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jonabc/sync-task-issues

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jonabc/sync-task-issues)

Close

jonabc / sync-task-issuesView on GitHubMore

• External links
• Readme badge

Sync task issue closure to hierarchical parent tracking issues

☆17Jul 11, 2023Updated 2 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.

• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• dselsam / binport

  View on GitHub
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Jul 28, 2021Updated 4 years ago
• fpvandoorn / lean-links

  View on GitHub
  Links to recourses for the Lean Theorem Prover
  ☆12Dec 3, 2019Updated 6 years ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• dwarfmaster / commutative-diagrams

  View on GitHub
  A coq plugin to deal with commutative diagrams
  ☆23Jul 6, 2025Updated 8 months ago
• b-mehta / unit-fractions

  View on GitHub
  ☆17Dec 3, 2023Updated 2 years ago
• imain / notmuch-vim

  View on GitHub
  Plug-in for vim to use notmuch
  ☆17Nov 17, 2017Updated 8 years ago
• haguenau / wyrd

  View on GitHub
  Improvements to the Wyrd curses front-end to Remind. Now moved to GitLab.
  ☆19Dec 5, 2021Updated 4 years ago
• emergencymeeting / sabotage

  View on GitHub
  A Discord bot for Among Us, written in Node.js.
  ☆10Nov 11, 2021Updated 4 years ago
• kbuzzard / lean-stacks-project

  View on GitHub
  Formal verification of parts of the Stacks Project in Lean
  ☆22Sep 24, 2021Updated 4 years ago
• commercialhaskell / casa

  View on GitHub
  Content Addressable Storage Archive
  ☆41Mar 4, 2026Updated 2 weeks ago
• garykl / task2dot

  View on GitHub
  convert taskwarrior export to graphviz format and analyse projects
  ☆35Apr 13, 2021Updated 4 years ago
• gr2m / octokit.rest

  View on GitHub
  Sourcode for the octokit.rest website
  ☆11Aug 31, 2025Updated 6 months ago
• open-sauced / actions

  View on GitHub
  The open-sauced actions
  ☆11Dec 16, 2023Updated 2 years ago
• kuseman / payloadbuilder

  View on GitHub
  SQL query engine
  ☆15Mar 16, 2026Updated last week
• Bedrock-Layouts / Solid-Bedrock

  View on GitHub
  solid.js port of Bedrock Layout Primitives
  ☆13Feb 17, 2024Updated 2 years ago
• open-sauced / awesome-github-sponsor-profiles

  View on GitHub
  A curated list of awesome GitHub Sponsor Profiles 💖
  ☆11Feb 24, 2022Updated 4 years ago
• orbit-love / community-js-youtube-orbit

  View on GitHub
  Add YouTube interactions into Orbit workspaces
  ☆12Sep 13, 2023Updated 2 years ago
• robbestad / react-markdown-to-html

  View on GitHub
  React Component that converts a Markdown file to HTML
  ☆10Apr 24, 2015Updated 10 years ago
• SamVerschueren / dynamo-seeder

  View on GitHub
  Seed your DynamoDB database easily
  ☆11Oct 23, 2017Updated 8 years ago
• tdfranklin / newtons-apple

  View on GitHub
  React CLI for generating project folder structure, React components, Redux frameworks, and more! Write less boilerplate and more code!
  ☆13Apr 25, 2018Updated 7 years ago
• samswag / Football

  View on GitHub
  ☆10Jan 3, 2018Updated 8 years ago
• contentful / contentful-action

  View on GitHub
  ☆15Apr 21, 2021Updated 4 years ago
• Git-Commit-Show / programmable-video-editing

  View on GitHub
  Video editing for programmers
  ☆10Dec 18, 2020Updated 5 years ago
• rdooh / graphql-gateway

  View on GitHub
  A test project to create an api gateway-like server app that uses graphql to front end a collection of microservices
  ☆20Aug 11, 2015Updated 10 years ago
• LumaKernel / nvim-visual-eof.lua

  View on GitHub
  Visualize existence of EOL at EOF ⏎
  ☆10Mar 14, 2021Updated 5 years ago
• netlify / go-client

  View on GitHub
  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
• stupidfive / SwiftDataStructuresAndAlgorithms

  View on GitHub
  Classical data structure and algorithm implementations in Swift 2.
  ☆10Nov 18, 2015Updated 10 years ago
• vim-denops / denops-documentation

  View on GitHub
  📖 Denops documentation
  ☆11Aug 24, 2025Updated 7 months ago
• mankyKitty / rust-koans

  View on GitHub
  Learn Rust by making tests pass
  ☆12Nov 20, 2014Updated 11 years ago
• jlengstorf / gatsby-plugin-cloudinary-social-cards

  View on GitHub
  ☆14Jun 26, 2020Updated 5 years ago
• GreepTheSheep / node-trackmania.io

  View on GitHub
  A Node.js implementation for trackmania.io
  ☆11Feb 13, 2026Updated last month
• leanprover-community / lean-client-python

  View on GitHub
  Python talking to the Lean theorem prover
  ☆46Aug 25, 2021Updated 4 years ago
• denoffi / deno_lua

  View on GitHub
  Lua bindings for Deno.
  ☆14Jun 12, 2022Updated 3 years ago
• dahlia / json-hash

  View on GitHub
  JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes
  ☆16Mar 10, 2024Updated 2 years ago
• chimon2000 / hashnode

  View on GitHub
  📱 A minimal, clean client for Hashnode
  ☆12Jul 8, 2021Updated 4 years ago
• open-sauced / swag

  View on GitHub
  🍕 Swag surfin'
  ☆12Oct 20, 2023Updated 2 years ago
• KlausSchaefers / rememberli

  View on GitHub
  Simple and elegant note taking app
  ☆17Mar 1, 2026Updated 3 weeks ago
• lambdalisue / vim-fern-mapping-git

  View on GitHub
  Add Git related mappings on file:// scheme of fern.vim
  ☆12Sep 24, 2020Updated 5 years ago