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
Sorting:
- A λ-calculus shell (because I love writing shells).☆11Updated 5 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- ☆11Updated 3 years ago
- My personal template repository for Racket packages☆16Updated 4 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
- Rust crate to Guix package definition☆17Updated 2 years ago
- A Lojban parser in Piston-Meta☆24Updated 4 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 4 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 6 years ago
- Polymorphic guarded λ-calculus☆13Updated 6 months ago
- Passerine's package manager.☆22Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Emacs major mode for scripting with the ion-shell☆10Updated 5 years ago
- Sensible file watching for Racket☆9Updated 4 years ago
- A decentralized linux distribution.☆12Updated 3 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- A simple command line time tracker☆22Updated 3 years ago
- ☆14Updated 2 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- A syntax-aware grep-like code search tool☆48Updated last year
- ☆20Updated 2 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- Experiment in Nix formatting☆22Updated 5 years ago
- A general purpose relational language☆19Updated 5 years ago