8l / pijul
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…
☆46Updated 9 years ago
Alternatives and similar repositories for pijul:
Users that are interested in pijul are comparing it to the libraries listed below
- Pijul <-> Git proxy☆19Updated 5 years ago
- Scheme in Rust☆15Updated 3 years ago
- A decentralized linux distribution.☆12Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- A minimal language inspired by Lisp and Haskell☆20Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A general purpose relational language☆20Updated 5 years ago
- Experiment in Nix formatting☆22Updated 5 years ago
- Platform-independent space-efficient tagged pointers in Rust☆18Updated 4 months ago
- ☆11Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Rust crate to Guix package definition☆17Updated 2 years ago
- An implementation of strace in Rust, and a library interface☆22Updated 6 years ago
- Compile-Time Parsing Expression Grammars for Zig☆11Updated 4 years ago
- Persistent immutable data structures for Janet☆11Updated 3 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- ☆35Updated 5 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- ☆17Updated 9 months ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated 9 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 3 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆33Updated last month
- A Universal Configuration Grammar☆37Updated last year
- A TOML parser written in Janet☆19Updated 7 months ago
- Modular generated command line interfaces using the same technology as the NixOS module system.☆44Updated 2 years ago
- An encoding, decoding & utility library for S-expressions in Rust☆34Updated 7 years ago
- Convert an EBNF grammar to the tree-sitter dsl☆26Updated last year
- A Djot implementation in Prolog☆24Updated last year