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.
Sorting:
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- ☆12Jul 8, 2019Updated 7 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Generate CLI program colorschemes based on your vim colorscheme☆11Jan 17, 2023Updated 3 years ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 10 years ago
- Fennel shim for Neovim☆11Nov 19, 2025Updated 11 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- An implementation of the `pipeline` operator in Lua☆11May 24, 2020Updated 6 years ago
- Formalization of 2LTT in Agda☆17Oct 11, 2026Updated 3 weeks ago
- Check to see what's missing in Maya Python API 2.0☆10Mar 30, 2018Updated 8 years ago
- A gazelle extension to produce Haskell rules from cabal files☆16Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- My (newer) Emacs configuration☆14Sep 14, 2026Updated last month
- Session types in Idris2!☆25Dec 14, 2020Updated 5 years ago
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 9 years ago
- ☆23Jul 1, 2024Updated 2 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆11May 5, 2020Updated 6 years ago
- A simple console file manager.☆20Nov 8, 2022Updated 3 years ago
- ☆18Jul 26, 2020Updated 6 years ago
- The Ink-Drop style interaction that is added in the material design by Google using jQuery and CSS.☆10Jan 3, 2017Updated 9 years ago
- python library for animation shader in Maya☆12Nov 14, 2015Updated 10 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.
- Mechanizing Types and Programming Languages using Beluga☆24May 29, 2020Updated 6 years ago
- Tiny Wolfram Alpha commandline script☆12Sep 15, 2017Updated 9 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 12 years ago
- Simple swappable card deck web component☆11Nov 12, 2025Updated 11 months ago
- Use the file system abstraction library, assetsys.h, to load raylib assets from .zip files.☆12Sep 10, 2023Updated 3 years ago
- Chrome/Chromium extension. Trigger the first ten Bookmarks Bar items with Ctrl+1 through Ctrl+0.☆12Oct 1, 2013Updated 13 years ago
- lpeg based parser -> highlighter for m in nvim☆18Oct 18, 2018Updated 8 years ago
- diff/undo for lua tables☆12Sep 1, 2016Updated 10 years ago
- SOP level volumetric path tracer.☆13Mar 25, 2020Updated 6 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.
- Summary of working through the exercises of the Little Schemer☆12Feb 7, 2020Updated 6 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- An embeddable JavaScript like language☆15Sep 19, 2015Updated 11 years ago
- Notes from presentations I've given.☆15May 20, 2018Updated 8 years ago
- a Vim plugin for refactoring vimscript plugins☆16Aug 21, 2021Updated 5 years ago
- [experimental, not supported] iOS-style sticky headers for iScroll 5☆12Dec 5, 2016Updated 9 years ago
- ☆14Jan 7, 2019Updated 7 years ago