purplesyringa / PijulGit
Pijul <-> Git proxy
☆19Updated 5 years ago
Related projects: ⓘ
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 7 years ago
- A λ-calculus shell (because I love writing shells).☆11Updated 4 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, …☆40Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- An in-place file rewrite utility, useful for redirecting output to same file as source.☆26Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad☆17Updated last year
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Your happy place for learning APL☆16Updated last year
- A simple command line time tracker☆22Updated 2 years ago
- ☆10Updated 2 years ago
- A Lojban parser in Piston-Meta☆22Updated 3 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 2 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆12Updated 3 years ago
- ☆17Updated 5 years ago
- A Nix evaluator written in Rust☆12Updated 4 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Updated 11 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A decentralized linux distribution.☆11Updated 2 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆20Updated 6 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated last month
- ☆20Updated this week
- The next-generation Olin runtime, made with love☆66Updated 2 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- The SPAIK LISP Programming Language☆40Updated 2 months ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- A golden file testing library for rust☆32Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- ☆10Updated this week