KevinMGranger / nineLinks
The 9p protocol as a serde format and message types.
☆31Updated 4 years ago
Alternatives and similar repositories for nine
Users that are interested in nine are comparing it to the libraries listed below
Sorting:
- Brainfuck with Actors☆36Updated 6 years ago
- Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…☆78Updated 3 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- quick c☆35Updated 3 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- for science☆10Updated 5 years ago
- A VM-based runtime environment for functional programming languages☆50Updated 8 years ago
- Polymorphic guarded λ-calculus☆23Updated 3 months ago
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆132Updated last year
- A functional systems programming language with compile-time memory management☆31Updated 4 years ago
- The Mickey Mouse of dynamic linkers☆16Updated last month
- A disassembler framework☆18Updated 3 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- GapBuffer data structure in Rust.☆16Updated 10 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- A transducer library for Rust☆10Updated 9 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- ☆23Updated 9 years ago
- A Cargo subcommand for working with feL4 projects.☆52Updated 7 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A Lojban parser in Piston-Meta☆24Updated 4 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago