purplesyringa / PijulGitLinks
Pijul <-> Git proxy
☆22Updated 6 years ago
Alternatives and similar repositories for PijulGit
Users that are interested in PijulGit are comparing it to the libraries listed below
Sorting:
- 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, …☆51Updated 9 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 8 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆32Updated last year
- [WIP] Molten - Style-preserving TOML parser.☆40Updated 7 years ago
- A Lojban parser in Piston-Meta☆24Updated 4 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A golden file testing library for rust☆35Updated 3 weeks ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 years ago
- Polymorphic guarded λ-calculus☆20Updated 2 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- ☆20Updated 2 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 4 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- ☆19Updated 4 years ago
- A function for fetching the crates listed in a Cargo lock file☆54Updated 3 years ago
- FingerTree implemented in rust☆23Updated last year
- ☆35Updated 6 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago