Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, and using fast algorithms. Pijul gathers most of the flame-war-features of version control systems: it has branches, first-class patches and snapshots, is distributed (yet can be used in a centralized way), and…
☆66Oct 29, 2015Updated 10 years ago
Alternatives and similar repositories for pijul
Users that are interested in pijul are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pijul <-> Git proxy☆22May 31, 2019Updated 6 years ago
- A portable linker for multiple file formats.☆14Aug 28, 2023Updated 2 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- python specific evil text objects for emacs☆12Feb 8, 2022Updated 4 years ago
- An extract, as complete as I can make it, of content from the revctrl.org wiki☆24Oct 14, 2021Updated 4 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.
- A nom-based ABNF parser.☆17Oct 21, 2022Updated 3 years ago
- Undo send and schedule emails in mu4e☆12Apr 15, 2016Updated 10 years ago
- Dired Image Slideshow☆15Jul 27, 2022Updated 3 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Sep 17, 2012Updated 13 years ago
- guarded interaction trees☆14Jul 4, 2025Updated 10 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- ☆68Mar 2, 2023Updated 3 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- Haskell API for NATS messaging system - new base repo: https://github.com/wayofthepie/nats-queue☆21Sep 2, 2015Updated 10 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 C++ memory pool that is Boost-friendly and performance oriented (zero-malloc).☆23Nov 20, 2025Updated 6 months ago
- Antialiased 2D vector drawing library written in rust☆14Mar 19, 2021Updated 5 years ago
- Simple test of ARM NEON code. Performs a blit to the framebuffer.☆15Jul 23, 2013Updated 12 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- A fast erlang gRPC client -- with fast http/2 and long connection☆11Dec 20, 2016Updated 9 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- A pure-go implementation of the Axolotl Ratchet, extracted from pond☆21Feb 8, 2017Updated 9 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Apr 27, 2017Updated 9 years ago
- An enrichment of Rust's core language to support more advanced features☆22May 25, 2017Updated 9 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.
- Observational Type Theory as an Agda library☆59May 27, 2017Updated 9 years ago
- ☆38Apr 14, 2026Updated last month
- patch file to add Tascam US16x08 mixer support to kernel driver snd-usb-audio☆15Jul 6, 2021Updated 4 years ago
- ☀️ Cool and eclectic version manager for any language☆29Jan 21, 2025Updated last year
- Bottom Up Rewrite Generator☆28Aug 17, 2017Updated 8 years ago
- C++ header only library purposed to create pool of some resources like keepalive connections☆27Aug 9, 2024Updated last year
- Propositional logic with exponentials☆23Apr 30, 2026Updated 3 weeks ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- An Emacs major mode for managing launchd jobs☆14Jun 11, 2021Updated 4 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 Presentation Based User Interface for Emacs.☆39Jun 8, 2025Updated 11 months ago
- Cloud Haskell - gen_server implementation☆13Sep 3, 2024Updated last year
- an ur-lisp interpreter written in Rust☆11Jul 18, 2016Updated 9 years ago
- Source Code for 'Beginning Apache Spark 3' by Hien Luu☆13Oct 14, 2021Updated 4 years ago
- A Common Lisp implementation of parsers for the git object file formats☆31Oct 18, 2024Updated last year
- modified version of https://automatedhome.party/2017/07/15/wifi-controlled-car-with-a-self-hosted-htmljs-joystick-using-a-wemos-d1-minies…☆12Nov 27, 2017Updated 8 years ago
- Version control pleasantry as a minor mode☆10Apr 30, 2020Updated 6 years ago