purplesyringa / PijulGit
Pijul <-> Git proxy
☆19Updated 5 years ago
Alternatives and similar repositories for PijulGit:
Users that are interested in PijulGit are comparing it to the libraries listed below
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- 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
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- Passerine's package manager.☆22Updated 2 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- An optimizing Brainfuck interpreter.☆13Updated 6 years ago
- My personal template repository for Racket packages☆16Updated 4 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 6 years ago
- Polymorphic guarded λ-calculus☆13Updated 5 months ago
- SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad☆17Updated 2 years ago
- A decentralized linux distribution.☆12Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A general purpose relational language☆20Updated 5 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Updated 4 years ago
- Experiment in Nix formatting☆22Updated 5 years ago
- Emacs major mode for scripting with the ion-shell☆10Updated 5 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- a password manager for hermits☆30Updated 6 years ago
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- Column-oriented binary format for immutable datasets☆9Updated 5 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago