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:
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 9 years ago
- Haskell binding for PADS☆21Updated 6 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, …☆55Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 6 years ago
- A syntax checker for TOML files☆28Updated 6 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 4 years ago
- Polymorphic guarded λ-calculus☆22Updated 6 months ago
- ☆35Updated 6 years ago
- Macros have types!☆134Updated 3 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- My personal template repository for Racket packages☆16Updated 5 years ago
- Lift enum variants to the type-level.☆32Updated 4 years ago
- The 9p protocol as a serde format and message types.☆32Updated 4 years ago
- A Nix evaluator written in Rust☆12Updated 6 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- ☆19Updated 5 years ago
- A golden file testing library for rust☆38Updated 4 months ago
- Brainfuck with Actors☆36Updated 7 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- A Rust implementation of the Lean kernel☆11Updated 3 years ago
- ☆34Updated 2 years ago
- A sub-second static blogging framework☆31Updated 5 months ago
- [WIP] Molten - Style-preserving TOML parser.☆41Updated 7 years ago
- A function for fetching the crates listed in a Cargo lock file☆58Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 4 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 5 years ago
- cargo +nightly build☆34Updated 6 years ago