git script to automatically create simple fixup commits from currently staged changes
β13Oct 7, 2022Updated 3 years ago
Alternatives and similar repositories for git-fixup
Users that are interested in git-fixup are comparing it to the libraries listed below
Sorting:
- A plugin to ease mail redaction from vimβ25Dec 24, 2020Updated 5 years ago
- π Manage your Zettelkasten in {n}vim.β29Jul 25, 2021Updated 4 years ago
- A guide on how to debug an Electron app.β12Jan 29, 2017Updated 9 years ago
- Generate cryptographically secure, memorable passphrases.β13Jun 4, 2020Updated 5 years ago
- β11Jul 26, 2023Updated 2 years ago
- β10Apr 27, 2022Updated 3 years ago
- Django integration for the mutation testing framework MutPy.β12Jul 6, 2021Updated 4 years ago
- A Neovim plugin to run the current filetype.β10Jun 22, 2023Updated 2 years ago
- DateTime package for Lean 4β17Feb 28, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.β12Jun 19, 2023Updated 2 years ago
- Watches for change in your maildir, and runs mbsync when change are found.β18Jul 23, 2014Updated 11 years ago
- Like `pbcopy` but for LLM prompt building ποΈβ12Oct 25, 2024Updated last year
- MCP server which allow LLM in agent mode to analyze image whenever it needsβ19Aug 23, 2025Updated 6 months ago
- Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.β11May 18, 2021Updated 4 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoviewβ15Jan 5, 2026Updated last month
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official β¦β10Feb 2, 2026Updated last month
- Notes from Simons Institute program "Foundations of Machine Learning"β13May 5, 2017Updated 8 years ago
- Differential forms in Juliaβ15Mar 16, 2024Updated last year
- Chrome extension for A-(dding websites to Nextcloud) Deckβ15Dec 22, 2024Updated last year
- A perl script for searching and replacing in mathematics in LaTeX documents.β13Jul 21, 2021Updated 4 years ago
- β18Apr 5, 2025Updated 10 months ago
- β20Jun 2, 2014Updated 11 years ago
- Typeset scattered graph data rewriter based on LaTeX nodesβ13Apr 7, 2021Updated 4 years ago
- A date and time library for Lean 4β14Apr 12, 2025Updated 10 months ago
- Optional argument checks allow you to omit them when performance is critical.β10Aug 31, 2022Updated 3 years ago
- Corpus of Coq code related to MathComp including several machine-readable representationsβ10Sep 6, 2022Updated 3 years ago
- Lean 4 bindings to libcurlβ13Feb 3, 2026Updated 3 weeks ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theoryβ14Aug 18, 2023Updated 2 years ago
- A Vim filetype plugin for github/hubβ49Oct 1, 2024Updated last year
- Calibre plugin for cloud stroragesβ11Aug 25, 2022Updated 3 years ago
- Command Line interface to bitbucket.orgβ16Jan 8, 2021Updated 5 years ago
- Change the form dynamically depending on user actions, and predefined sets of actions and conditionsβ14Feb 16, 2026Updated 2 weeks ago
- Written in Elm. Backed by NeoVim.β12Oct 15, 2016Updated 9 years ago
- GitHub Stacked PR with JJβ18Sep 12, 2023Updated 2 years ago
- Associated Legendre Polynomials and Spherical Harmonics in Juliaβ16Nov 18, 2025Updated 3 months ago
- Tool to analyse the import structure of lean projects.β18Updated this week
- Hardware-accelerated matrix/numeric programming library for Swiftβ12Sep 2, 2025Updated 5 months ago
- Educational and demonstrative materials in experimentation, statistics, and computing for the Neuroscience Data Mining Group at the Helenβ¦β10Oct 13, 2016Updated 9 years ago
- Automatically execute scripts for directories in Xonsh Shell.β16Aug 2, 2021Updated 4 years ago