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.
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 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- ☆17Dec 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Improvements to the Wyrd curses front-end to Remind. Now moved to GitLab.☆19Dec 5, 2021Updated 4 years ago
- A Discord bot for Among Us, written in Node.js.☆10Nov 11, 2021Updated 4 years ago
- Formal verification of parts of the Stacks Project in Lean☆23Sep 24, 2021Updated 4 years ago
- Content Addressable Storage Archive☆41Mar 4, 2026Updated 4 months ago
- Sourcode for the octokit.rest website☆11Aug 31, 2025Updated 10 months ago
- Wait for a commit's check suites to complete.☆14Aug 30, 2023Updated 2 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- solid.js port of Bedrock Layout Primitives☆13Feb 17, 2024Updated 2 years ago
- A curated list of awesome GitHub Sponsor Profiles 💖☆11Feb 24, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An emoji search application leveraging Next.js, Tailwind CSS, Fuse.js (for fuzzy search), GitHub's Emoji API, GitHub Actions, and Pulumi☆13Dec 9, 2021Updated 4 years ago
- React Component that converts a Markdown file to HTML☆10Apr 24, 2015Updated 11 years ago
- Creates a new file on a new branch and opens a new pull request.☆15Jan 4, 2023Updated 3 years ago
- this is a repo that I shall install bots to☆14May 21, 2023Updated 3 years ago
- ☆10Jan 3, 2018Updated 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
- 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
- Classical data structure and algorithm implementations in Swift 2.☆10Nov 18, 2015Updated 10 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 10 months ago
- 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.
- ☆14Jun 26, 2020Updated 6 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Lua bindings for Deno.☆14Jun 12, 2022Updated 4 years ago
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆15Mar 10, 2024Updated 2 years ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Simple and elegant note taking app☆22Updated this week
- Add Git related mappings on file:// scheme of fern.vim☆12Sep 24, 2020Updated 5 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Oct 22, 2016Updated 9 years ago
- ☆14May 29, 2021Updated 5 years ago
- 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.
- Formalization of the existence of sphere eversions☆47Jul 1, 2026Updated last week
- CLI to create a new folder and repository for an Octoherd Script☆12Jun 18, 2026Updated 2 weeks ago
- CLI for actuated☆26Jul 2, 2026Updated last week
- A fetch API based TypeScript SDK for MCP☆22Jun 30, 2026Updated last week
- micromark extension to support MDX or MDX JS expressions☆12Mar 24, 2025Updated last year
- Stalk GitHub users without leaving your terminal☆13Jun 25, 2022Updated 4 years ago
- A source for ddc.vim to gather candidates from Universal Ctags☆10Nov 6, 2023Updated 2 years ago