redox-os / tfs
Mirror of https://gitlab.redox-os.org/redox-os/tfs
☆2,947Updated last year
Alternatives and similar repositories for tfs:
Users that are interested in tfs are comparing it to the libraries listed below
- C to Rust translator☆2,167Updated 6 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,338Updated 2 years ago
- A new kind of terminal☆2,315Updated 7 years ago
- Immutable Ordered Key-Value Database Engine☆1,377Updated 5 years ago
- Cranelift code generator☆2,491Updated 4 years ago
- Generic purpose Just-In-time compiler for Rust.☆1,525Updated 5 years ago
- Vagga is a containerization tool without daemons☆1,874Updated last year
- Rust Code Completion utility☆3,360Updated last year
- Zero-details, privacy-focused in-app file system.☆1,541Updated last year
- An old-school bash-like Unix shell written in Rust☆990Updated 4 months ago
- the champagne of beta embedded databases☆8,368Updated 2 months ago
- Redis re-implemented in Rust.☆1,781Updated 9 months ago
- An Extensible, Concurrent Web Framework for Rust☆6,124Updated 9 months ago
- This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel☆1,200Updated 7 years ago
- A Matrix homeserver written in Rust.☆1,076Updated 3 years ago
- A static, type inferred and embeddable language written in Rust.☆3,286Updated 3 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆15,353Updated this week
- Metal I/O library for Rust.☆6,550Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 7 years ago
- REPL for the Rust programming language☆1,324Updated 5 years ago
- Zero-cost asynchronous programming in Rust☆5,553Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/ion☆1,501Updated 4 months ago
- Rust Emacs☆4,604Updated 3 years ago
- A web application microframework for Rust☆872Updated 7 years ago
- A standard library for the client-side Web☆3,448Updated last year
- Repository for the Rust Language Server (aka RLS)☆3,513Updated 2 years ago
- An IDE for Rust☆891Updated 7 years ago
- Migrate C code to Rust☆4,169Updated this week
- Type checked JSX for Rust☆1,871Updated 2 years ago
- A terminal-based text editor written in Rust☆1,644Updated 10 months ago