An introduction to the architecture and design of the Git content manager
☆893Aug 24, 2025Updated last year
Alternatives and similar repositories for git-from-the-bottom-up
Users that are interested in git-from-the-bottom-up are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Sep 11, 2015Updated 11 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- What I Wish I Knew While Learning Nix☆33Dec 9, 2021Updated 4 years ago
- My .emacs.el file and other personal Emacs goodies☆795Updated this week
- A use-package declaration for simplifying your .emacs☆4,453Aug 23, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A better Emacs *help* buffer☆1,308Apr 8, 2025Updated last year
- ☆132Jul 26, 2026Updated 3 months ago
- Visual buffer switching in Emacs using a window grid☆173Apr 29, 2019Updated 7 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆819Updated this week
- 🍀 Next-generation, purely functional package manager for the Emacs hacker.☆3,032Oct 17, 2026Updated 2 weeks ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 4 years ago
- Tutorial about programming Elisp and Emacs text editor customization.☆680Oct 29, 2021Updated 5 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 9 years ago
- A generic pretty-printer using generics-sop☆12Feb 7, 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.
- Writes files atomically in Haskell while preserving permissions☆19May 18, 2026Updated 5 months ago
- An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.☆1,207Apr 22, 2024Updated 2 years ago
- Literate Emacs configuration☆152Apr 29, 2020Updated 6 years ago
- Yet another … yet another recursion scheme library for Haskell☆90Sep 19, 2026Updated last month
- The official supporting materials repository for LambdaConf 2015.☆90May 29, 2015Updated 11 years ago
- Emacs builds for continuous integration☆191Oct 28, 2026Updated last week
- Help keeping ~/.config/emacs clean☆715Updated this week
- ⌨️ Emacs finally learns how to ctrl+F.☆367Feb 21, 2026Updated 8 months ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆178Jun 24, 2021Updated 5 years ago
- It's Magit! A Git Porcelain inside Emacs.☆7,250Updated this week
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Run command quickly. This packages is inspired quickrun.vim☆501Jun 19, 2026Updated 4 months ago
- ☆23Apr 17, 2018Updated 8 years ago
- Elisp maintainers and how to support them☆190Jun 16, 2025Updated last year
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 8 years ago
- The prelude.☆16Apr 3, 2019Updated 7 years ago
- A tutorial for how to use Purescript's Foreign Generics library☆10Aug 8, 2018Updated 8 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.
- Short and sweet LISP editing☆1,301Jan 23, 2026Updated 9 months ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆59Aug 27, 2026Updated 2 months ago
- A modern list library for Emacs☆1,744Oct 6, 2026Updated 3 weeks ago
- 🔔 Better solution for incremental narrowing in Emacs.☆724Apr 20, 2026Updated 6 months ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 7 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- Sylvester the Cat's Common Lisp IDE☆1,444Oct 28, 2026Updated last week