KevinMGranger / nineLinks
The 9p protocol as a serde format and message types.
☆30Updated 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
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 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
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- A disassembler framework☆18Updated 3 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 4 years ago
- A language for pipe-based programming☆53Updated 2 years ago
- distributed revision control system -- historical snapshot☆78Updated 11 years ago
- quick c☆35Updated 3 years ago
- The PLAtform NEutral Transpiler☆120Updated 3 weeks ago
- A no frills delta debugger written in myrddin.☆29Updated 7 years ago
- Using Rust to make a 151-byte static AMD64 Linux binary☆57Updated 5 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆34Updated 5 years ago
- Rust bindings for the FreeBSD capsicum framework☆64Updated 3 months ago
- Tokio-based asynchronous filesystems library using 9P2000.L protocol, an extended variant of 9P from Plan 9.☆130Updated last year
- A bare-metal actor operating system for Raspberry Pi.☆68Updated 2 weeks ago
- GapBuffer data structure in Rust.☆16Updated 10 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- Definitions for the CloudABI data types and system calls☆133Updated 5 years ago
- A fully capability-based operating system☆27Updated 6 years ago
- Kit-kat clock utility rewritten in Rust using minifb☆19Updated 3 years ago
- A functional systems programming language with compile-time memory management☆31Updated 3 years ago
- Polymorphic guarded λ-calculus☆20Updated 2 months ago
- pretty bad protocol☆63Updated 4 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆14Updated 2 years ago