Bash script to enable git-worktree to use relative path
☆13Mar 7, 2022Updated 4 years ago
Alternatives and similar repositories for git-worktree-relative
Users that are interested in git-worktree-relative are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Word dictionary completion source for asyncomplete.vim☆13Oct 5, 2020Updated 6 years ago
- SQL on CSV files in the shell☆15Apr 6, 2018Updated 8 years ago
- Convert argparse based bin scripts to markdown documents☆11Jun 28, 2025Updated last year
- A Python wrapper around Linux's renameat2 system call☆13Sep 5, 2023Updated 3 years ago
- JSONL and YAML query tool☆13Sep 19, 2026Updated last month
- 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.
- Pyed Piper: Python Power at the Prompt☆10Aug 7, 2015Updated 11 years ago
- DNS-01 challenge hook implementation for dnsexit☆13Mar 5, 2024Updated 2 years ago
- ☆12Jul 8, 2019Updated 7 years ago
- Forward a Unix socket over SSH☆15Jun 8, 2015Updated 11 years ago
- ☆13May 14, 2014Updated 12 years ago
- ☆17Nov 24, 2020Updated 5 years ago
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 9 months ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 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.
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆12Jul 19, 2023Updated 3 years ago
- A stopgap solution for the lack of notifications on gists☆11Dec 1, 2014Updated 11 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Count number of lines of code and comments in scala codebases☆10Dec 19, 2012Updated 13 years ago
- Agda formalisations of some big-step normalization proofs☆14May 8, 2016Updated 10 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ANTLR3 plugin for sbt 0.12.x☆12Jan 20, 2015Updated 11 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 9 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 8 years ago
- [NOT MAINTAINED] A generic and reusable SketchUp Ruby C extension file downloading utility to be used within SketchUp plugins.☆12Jul 26, 2013Updated 13 years ago
- CLI for Pi☆12Jul 20, 2018Updated 8 years ago
- rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source☆15May 12, 2015Updated 11 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- Backup agent for Nullboard.☆11May 14, 2024Updated 2 years ago
- provides file autocomplete for asyncomplete.vim☆40Feb 8, 2024Updated 2 years ago
- 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.
- Access hint databases from tactics.☆12Apr 22, 2020Updated 6 years ago
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- kindle liblipc header☆12Oct 24, 2013Updated 13 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- State Of Survival Battle simulator☆17Dec 7, 2021Updated 4 years ago
- No-frills AI shell assistant☆28Jan 16, 2023Updated 3 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago