omniglot-rs / omniglotLinks
Safe Interactions with Foreign Languages through Omniglot
☆19Updated last week
Alternatives and similar repositories for omniglot
Users that are interested in omniglot are comparing it to the libraries listed below
Sorting:
- Asynchronous OS kernel written in Rust.☆34Updated 4 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Updated 3 years ago
- ☆30Updated 2 years ago
- rust rcu cell library☆28Updated 2 months ago
- A buddy system allocator in pure Rust.☆110Updated 9 months ago
- Low level access to T-Head Xuantie RISC-V processors☆33Updated 6 months ago
- ☆43Updated 2 years ago
- Stack unwinding library in Rust☆126Updated last month
- automatially find crashes in the rust compiler & tooling☆73Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- The cold linker☆71Updated last year
- A mininal runtime / startup for Supervisor Binary Interface (SBI) on RISC-V.☆19Updated 3 years ago
- Static keys for Rust userland applications☆66Updated this week
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆60Updated 2 months ago
- UB-free and deterministic rustc fuzzer☆87Updated this week
- A Rust library for safely programming persistent memory☆74Updated last year
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Updated 2 years ago
- 快速陷入处理☆37Updated last month
- A lock-free memory allocator☆61Updated last month
- 洛佳的异步内核实验室☆25Updated 4 years ago
- Aspect-oriented programming in Rust☆11Updated 3 years ago
- An operation-log based approach for data replication.☆64Updated 2 years ago
- Lock ordering enforcement at compile time in Rust☆17Updated 4 months ago
- Simple RISC-V emulator presented at Rust Nation 2023☆66Updated 2 years ago
- Experimental kernel with built-in replication.☆160Updated last year
- RISC-V V Extension Encoder☆11Updated 2 years ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆25Updated this week
- Serialize & deserialize device tree binary using serde☆21Updated 3 months ago
- ☆12Updated 3 years ago