J-F-Liu / rddlLinks
Refined Data Description Language (RDDL) specification and parser library.
☆9Updated 8 years ago
Alternatives and similar repositories for rddl
Users that are interested in rddl are comparing it to the libraries listed below
Sorting:
- A syn targetting PEG parser generator☆20Updated 2 years ago
- creates index for serde json values☆9Updated 4 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 8 years ago
- Rust web-framework for websocket based web-apps☆9Updated 7 years ago
- Seax Virtual Machine☆11Updated 8 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 8 years ago
- obsolete since rust 1.35.0 doesn't need it anymore☆10Updated 3 years ago
- [ABANDONED] An in-memory structure database for Rust.☆18Updated 6 years ago
- Inert lets you use non-Sync values in Sync context☆16Updated 6 years ago
- SecBox - Sensitive data container☆14Updated 8 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 7 years ago
- A MPMC channel based on the two lock queue algorithm☆16Updated 7 years ago
- ☆11Updated 7 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Updated 8 years ago
- Timer Wheels With Various Runtimes In Rust☆14Updated 7 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 10 years ago
- Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.☆20Updated 7 years ago
- Rust XDR interoperability library and codegen☆16Updated 3 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
- ☆17Updated 9 years ago
- ☆9Updated 9 years ago
- [Incomplete] A Raft implementation in Rust☆15Updated 8 years ago
- REPL-like interactive code editor☆29Updated 7 years ago
- ☆15Updated 5 years ago
- [REDUNDANT] Rust officially supports async/await now☆9Updated 9 years ago
- Minimal UI library based on relm (GTK+), written in Rust.☆40Updated 3 years ago
- Helper library to write VLC modules in Rust☆14Updated 4 years ago
- Odds and ends — collection miscellania. Extra functionality for slices, strings and other things☆21Updated 5 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆24Updated 4 years ago
- An immutable singly-linked list, as seen in basically every functional language☆29Updated 2 years ago