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…
☆69Oct 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 7 years ago
- A portable linker for multiple file formats.☆17Aug 28, 2023Updated 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
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A nom-based ABNF parser.☆17Oct 21, 2022Updated 3 years ago
- acme based theme for vscode☆12Dec 13, 2021Updated 4 years ago
- Minimalistic color palette generator☆19Jan 26, 2019Updated 7 years ago
- guarded interaction trees☆14Updated this week
- scc - simple C Compiler☆58Mar 23, 2017Updated 9 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- ☆69Mar 2, 2023Updated 3 years ago
- Haskell API for NATS messaging system - new base repo: https://github.com/wayofthepie/nats-queue☆22Sep 2, 2015Updated 10 years ago
- Animation of Yves Lafont's Interaction Combinators☆24Jan 30, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [WIP] A wayland compositor configured with scheme☆14Aug 24, 2022Updated 3 years ago
- Antialiased 2D vector drawing library written in rust☆14Mar 19, 2021Updated 5 years ago
- Single-address-space capability-based nanokernel☆90Mar 17, 2026Updated 3 months ago
- CC500: a tiny self-hosting C compiler☆166Oct 27, 2017Updated 8 years ago
- Flexible and convenient HTML generation☆12Apr 5, 2023Updated 3 years ago
- personal branch of git://git.suckless.org/ubase☆11Jun 5, 2020Updated 6 years ago
- Time-based statistics for Git/Hg repos☆24Jan 27, 2024Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated 2 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
- 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.
- semirings and *-semirings of types in base/haskell-platform☆45May 21, 2024Updated 2 years ago
- A free automatic semantic build number updater for Unity.☆10Apr 20, 2026Updated 2 months ago
- An enrichment of Rust's core language to support more advanced features☆22May 25, 2017Updated 9 years ago
- Lightweight translation layer between syntect.rs and ratatui.rs style types☆22May 9, 2025Updated last year
- Observational Type Theory as an Agda library☆59May 27, 2017Updated 9 years ago
- ☆38Apr 14, 2026Updated 2 months ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- Relational Database Server with Integrated Version Control☆23Dec 20, 2022Updated 3 years ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- 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.
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 years ago
- patch file to add Tascam US16x08 mixer support to kernel driver snd-usb-audio☆16Jul 6, 2021Updated 5 years ago
- ☆12Jan 21, 2018Updated 8 years ago
- Bottom Up Rewrite Generator☆28Aug 17, 2017Updated 8 years ago
- Propositional logic with exponentials☆23Apr 30, 2026Updated 2 months ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- Xcbwin - a simple C++ class for graphical outputs using XCB☆12May 12, 2015Updated 11 years ago