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:
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆36Updated 7 years ago
- Brainfuck with Actors☆36Updated 7 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
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆132Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- A Cargo subcommand for working with feL4 projects.☆52Updated 7 years ago
- A language for pipe-based programming☆53Updated 3 years ago
- A VM-based runtime environment for functional programming languages☆51Updated 8 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22Updated 7 years ago
- quick c☆35Updated 3 years ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated last month
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- A disassembler framework☆19Updated 3 years ago
- Definitions for the CloudABI data types and system calls☆135Updated 5 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- ☆23Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- A miniKanren implementation in Rust☆37Updated 9 years ago
- A functional programming language designed for concurrency and failure☆44Updated 3 years ago
- A functional systems programming language with compile-time memory management☆31Updated 4 years ago
- A fully capability-based operating system☆27Updated 6 years ago
- Scheme Interpreter in Rust☆29Updated 7 years ago
- A compiler for an Ada-like language☆32Updated 8 months ago
- for science☆10Updated 5 years ago
- distributed revision control system -- historical snapshot☆79Updated 12 years ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- The Pascal-F Verifier☆51Updated 8 years ago
- SOcket Activator/Deactivator: like inetd but not really | now on https://codeberg.org/valpackett/soad☆17Updated 3 years ago
- miniserde minus the dependencies☆20Updated 4 years ago