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, …☆46Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 8 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 4 years ago
- A function for fetching the crates listed in a Cargo lock file☆54Updated 3 years ago
- A Lojban parser in Piston-Meta☆24Updated 4 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆14Updated 4 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- [WIP] Molten - Style-preserving TOML parser.☆40Updated 7 years ago
- ☆37Updated 3 weeks ago
- A golden file testing library for rust☆33Updated 2 months ago
- Polymorphic guarded λ-calculus☆20Updated 2 weeks ago
- Macros have types!☆131Updated 2 years ago
- ☆35Updated 6 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- a password manager for hermits☆30Updated 7 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- ☆20Updated 2 years ago