Valian/git-pre-hooks external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Valian/git-pre-hooks

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Valian/git-pre-hooks)

Close

Valian / git-pre-hooksView on GitHubMore

• External links
• Readme badge

Automatic pre-commit quality checks example https://rock-it.pl/automatic-code-quality-checks-with-git-hooks

☆19Mar 28, 2019Updated 7 years ago

Alternatives and similar repositories for git-pre-hooks

Users that are interested in git-pre-hooks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Saizan / parametric-demo

  View on GitHub
  ☆12Jul 8, 2019Updated 7 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 7 years ago
• nad / equality

  View on GitHub
  ☆11Aug 24, 2026Updated 2 weeks ago
• omelkonian / formal-utxo

  View on GitHub
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆15Nov 14, 2024Updated last year
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• naumazeredo / competitive-programming

  View on GitHub
  ☆13Feb 20, 2021Updated 5 years ago
• hazelgrove / hazelnut-dynamics-agda

  View on GitHub
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Jun 16, 2024Updated 2 years ago
• UnivalencePrinciple / 2LTT-Agda

  View on GitHub
  Formalization of 2LTT in Agda
  ☆17Aug 6, 2025Updated last year
• yoricksijsling / ornaments-thesis

  View on GitHub
  My master thesis about generic programming and ornaments
  ☆16Jul 5, 2016Updated 10 years ago
• agusakov / category-theory-game

  View on GitHub
  ☆18Jul 26, 2020Updated 6 years ago
• akshay / geneural.net

  View on GitHub
  Genetic algorithm to solve 3D Tetris.
  ☆13Apr 28, 2017Updated 9 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• sonictk / lightweight-emacs

  View on GitHub
  My (newer) Emacs configuration
  ☆14Updated this week
• zick / LuaLisp

  View on GitHub
  Lisp implementation in Lua
  ☆12Aug 9, 2014Updated 12 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• LS-Lab / Coq-dL

  View on GitHub
  A formally verified implementation of differential dynamic logic in Coq
  ☆21May 16, 2022Updated 4 years ago
• planetis-m / looper

  View on GitHub
  For loop macros for Nim
  ☆10Nov 28, 2020Updated 5 years ago
• flupe / generics

  View on GitHub
  ☆23Jul 1, 2024Updated 2 years ago
• golmman / twilight-commander

  View on GitHub
  A simple console file manager.
  ☆21Nov 8, 2022Updated 3 years ago
• RobLoach / raylib-assetsys

  View on GitHub
  Use the file system abstraction library, assetsys.h, to load raylib assets from .zip files.
  ☆12Sep 10, 2023Updated 2 years ago
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆22Jul 24, 2026Updated last month
• ZGeng / attractionDeformer

  View on GitHub
  A maya attraction deformer node (plugin).
  ☆16Mar 9, 2017Updated 9 years ago
• tjdevries / mparse.nvim

  View on GitHub
  lpeg based parser -> highlighter for m in nvim
  ☆18Oct 18, 2018Updated 7 years ago
• CSEPhd-council / thesis-template

  View on GitHub
  Template for Licentiate and PhD theses at the department of CSE at Chalmers.
  ☆21Mar 26, 2026Updated 5 months ago
• End-to-end encrypted cloud storage - Proton Drive • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
• ii14 / onedark.nvim

  View on GitHub
  lua port of joshdick/onedark.vim
  ☆12Oct 23, 2023Updated 2 years ago
• marian42 / fireplace

  View on GitHub
  Procedurally generated fire animation
  ☆15Feb 8, 2016Updated 10 years ago
• insanemal / wolfram_alpha

  View on GitHub
  Tiny Wolfram Alpha commandline script
  ☆12Sep 15, 2017Updated 8 years ago
• sajonoso / jual

  View on GitHub
  An embeddable JavaScript like language
  ☆15Sep 19, 2015Updated 10 years ago
• henrik / vim-open-url

  View on GitHub
  Opens URLs on the current line in your OS X default browser.
  ☆15Dec 26, 2015Updated 10 years ago
• sbdchd / vim-run

  View on GitHub
  A Neovim plugin to run the current filetype.
  ☆11Jun 22, 2023Updated 3 years ago
• iwilare / church-rosser

  View on GitHub
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆32Sep 21, 2022Updated 3 years ago
• frdmn / dnsbl-webutils

  View on GitHub
  Web and commandline based DNSBL utilities
  ☆11May 3, 2015Updated 11 years ago
• Kevinlearynet / WordPress-AngularJS-Plugin

  View on GitHub
  Angular.js powered WordPress plugin demo for creating stand-alone, API powered, Angular.js microsites or apps within a WP site.
  ☆11Apr 25, 2020Updated 6 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• seven1m / mal-cpp

  View on GitHub
  mal - Make a Lisp
  ☆14Jun 12, 2021Updated 5 years ago
• endowdly / Todo

  View on GitHub
  A PowerShell port of todo.sh
  ☆12Feb 28, 2020Updated 6 years ago
• alexpeits / haskell-proofs

  View on GitHub
  Examples using dependent types for mathematical proofs at the type level
  ☆14Feb 27, 2020Updated 6 years ago
• yamahigashi / MayaStickySupraTool

  View on GitHub
  Tool activation commands like Softimage style (sticky/supra mode) for Autodesk Maya
  ☆15May 30, 2022Updated 4 years ago
• bobatkey / agda-metric-reals

  View on GitHub
  ☆29Jun 23, 2022Updated 4 years ago
• sjl / coding-math

  View on GitHub
  ☆14Jan 7, 2019Updated 7 years ago
• laravel-notification-channels / pubnub

  View on GitHub
  PubNub Notifications Channel for Laravel
  ☆10Jul 1, 2021Updated 5 years ago