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
- 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, …☆45Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 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
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- Polymorphic guarded λ-calculus☆13Updated 4 months ago
- A decentralized linux distribution.☆12Updated 2 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- A Lojban parser in Piston-Meta☆24Updated 4 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 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
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- Passerine's package manager.☆22Updated 2 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Collates markdown into one file☆17Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 5 years ago
- ☆35Updated 5 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Very incomplete Scheme interpreter, written in Rust☆23Updated 8 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Scheme Interpreter in Rust☆28Updated 7 years ago
- [WIP] Molten - Style-preserving TOML parser.☆39Updated 6 years ago
- ☆11Updated 3 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated last year