NuxiNL / cloudabi-portsLinks
Packages for CloudABI
☆21Updated 4 years ago
Alternatives and similar repositories for cloudabi-ports
Users that are interested in cloudabi-ports are comparing it to the libraries listed below
Sorting:
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 7 years ago
- [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org☆42Updated 8 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
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆18Updated 6 years ago
- Definitions for the CloudABI data types and system calls☆134Updated 4 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- RADclock - A feed-forward NTP clock.☆18Updated 12 years ago
- Label-based networking daemon☆23Updated 6 years ago
- FreeBSD kernel module in Rust☆66Updated 8 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- distributed revision control system -- historical snapshot☆78Updated 11 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- ☆27Updated 8 years ago
- You can't handle the truth☆52Updated 4 years ago
- CloudABI's standard C library☆299Updated 4 years ago
- Apps for running with the rumprun unikernel on seL4.☆33Updated 2 weeks ago
- Buildsome: The awesome build system☆54Updated 2 years ago
- A Cargo subcommand for working with feL4 projects.☆53Updated 7 years ago
- RFC 7049 with the known errata fixed☆37Updated 11 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
- ☆14Updated 9 years ago
- Flashing and querying with System76 Embedded Controllers☆21Updated 5 months ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆21Updated 7 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- Linux kernel with Capsicum support☆208Updated 5 years ago
- ☆15Updated 8 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year