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