A cheat sheet for tig (Text-mode Interface for Git)
☆27Oct 3, 2015Updated 11 years ago
Alternatives and similar repositories for tig-cheat-sheet
Users that are interested in tig-cheat-sheet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- T530 specific settings for Ubuntu 14.04LTS☆11Jan 16, 2017Updated 9 years ago
- Plan, track and archive Pomodoros in Vim☆14Jul 21, 2012Updated 14 years ago
- ☆11Sep 13, 2016Updated 10 years ago
- HTML5: Widgets for Lichess☆14Nov 21, 2022Updated 3 years ago
- Propositional logic tools, inspired by the Coq standard library.☆10Dec 19, 2017Updated 8 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.
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 2021Updated 5 years ago
- JavaScript remake of Pac-Man☆19Apr 28, 2021Updated 5 years ago
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- High-Level Redis Database☆14Jul 18, 2022Updated 4 years ago
- Static website generator written in Forth.☆10Feb 6, 2026Updated 9 months ago
- super easy gitignores from your commandline☆12Mar 8, 2013Updated 13 years ago
- Parser & analyser for Lojban☆17Sep 5, 2016Updated 10 years ago
- Small Wordstar-like text editor for X11.☆14Aug 12, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A formalisation of Restriction Categories in Agda☆12Sep 15, 2016Updated 10 years ago
- An example of building a shared library (.so) in Haskell and calling it from C and Python.☆10Aug 30, 2012Updated 14 years ago
- Source and Library repository for all things Rexx☆13Mar 27, 2026Updated 7 months ago
- ☆13Jan 1, 2015Updated 11 years ago
- Command line utility for fixing miscellaneous stuff within Visual Studio and its tools☆11Feb 23, 2026Updated 8 months ago
- Multi-platform rebirth of TNT Basic☆11Apr 24, 2012Updated 14 years ago
- GuiTools - A graphic UI framework for QB64☆10Sep 22, 2026Updated last month
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 4 years ago
- ☆11Oct 9, 2010Updated 16 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Deductive synthesis and compilation of specialized databases.☆13Jul 18, 2023Updated 3 years ago
- Software design principles: tensions & synergies dojo☆12Mar 12, 2026Updated 7 months ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- A F# .NET TorchSharp port of Andrej Karpathy's minGPT.☆10Jul 18, 2024Updated 2 years ago
- Dependency injection via delimited continuations☆11Mar 13, 2014Updated 12 years ago
- Emulate Coq IDE in VIM☆12Jun 14, 2013Updated 13 years ago
- Derive a mock server for free from your servant API types☆19Nov 8, 2023Updated 2 years ago
- A monochrome (ish) neovim colour theme☆10Apr 23, 2026Updated 6 months ago
- Incremental search through the whole project.☆10Jun 19, 2026Updated 4 months 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.
- [Unmaintained]☆14Nov 7, 2019Updated 7 years ago
- If you don’t care about /apple-touch-icon.png being a 404☆20Mar 21, 2018Updated 8 years ago
- Customisable, thread-safe C11 memory allocator based off the K&R "storage allocator"☆13Jul 5, 2024Updated 2 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- a Python-based tool for automatically tagging images using the OpenAI Vision API. It processes images in a specified directory, retrieves…☆10Jan 24, 2025Updated last year
- Minimal Forth interpreter for ARMv7 machines☆11Jul 26, 2017Updated 9 years ago
- GHCi integration for VIM☆10Apr 28, 2016Updated 10 years ago