jwiegley / git-from-the-bottom-upView external linksLinks
An introduction to the architecture and design of the Git content manager
☆884Aug 24, 2025Updated 5 months ago
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
Sorting:
- ☆132Mar 20, 2024Updated last year
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- A bunch of random scripts I've either written, downloaded or clipped from #git.☆1,372Feb 4, 2026Updated last week
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆793Jan 9, 2026Updated last month
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- PDF on Git Internals☆2,619Mar 27, 2023Updated 2 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- Try s7 scheme in your browser, powered by WebAssembly☆47Sep 27, 2020Updated 5 years ago
- A multi-platform Unix CLI that prints a symlink's complete chain of targets using absolute paths.☆13Dec 27, 2022Updated 3 years ago
- My .emacs.el file and other personal Emacs goodies☆767Updated this week
- Literate Emacs configuration☆152Apr 29, 2020Updated 5 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆175Jun 24, 2021Updated 4 years ago
- 🍀 Next-generation, purely functional package manager for the Emacs hacker.☆2,953Feb 7, 2026Updated last week
- A Pure Perl RethinkDB Driver☆22Aug 2, 2016Updated 9 years ago
- For a given Haskell source file, determine where a symbol is imported from☆27Nov 16, 2018Updated 7 years ago
- Terminal UI for Discourse forums☆14Mar 25, 2019Updated 6 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- The long lost Emacs string manipulation library.☆1,067Apr 14, 2023Updated 2 years ago
- A use-package declaration for simplifying your .emacs☆4,478Aug 23, 2025Updated 5 months ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- Connecting Haskell projects, mentors, and learners!☆17Apr 2, 2018Updated 7 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Writes files atomically in Haskell while preserving permissions☆19Aug 21, 2025Updated 5 months ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- Tutorial about programming Elisp and Emacs text editor customization.☆678Oct 29, 2021Updated 4 years ago
- Portable pathname library for Common Lisp☆66Jan 10, 2022Updated 4 years ago
- An Emacs package development handbook. Built with Emacs, by Emacs package developers, for Emacs package developers.☆1,198Apr 22, 2024Updated last year
- It's Magit! A Git Porcelain inside Emacs.☆7,012Feb 7, 2026Updated last week
- Efficient endianness conversion for SBCL☆20Jun 8, 2024Updated last year
- Command-line API for Atlassian JIRA using the Tomitribe CREST library☆13May 17, 2021Updated 4 years ago
- Casual EditKit is a Transient library for Emacs editing commands.☆14Oct 21, 2024Updated last year
- Linenoise bindings for Raku☆15Mar 17, 2022Updated 3 years ago
- Visual buffer switching in Emacs using a window grid☆172Apr 29, 2019Updated 6 years ago
- A presentation for BayHac 2017 on how I uses lenses at work☆77Sep 17, 2025Updated 4 months ago
- ShellCheck, a static analysis tool for shell scripts☆38,957Feb 1, 2026Updated last week
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago