Cryptographic signatures for auditing unsafe code in Rust
☆55Jan 19, 2015Updated 11 years ago
Alternatives and similar repositories for launch-code
Users that are interested in launch-code are comparing it to the libraries listed below
Sorting:
- SPARX block ciphers implementations for Rust.☆17Jan 29, 2026Updated last month
- A more secure recipe for uploading Rust docs to GitHub Pages☆21May 19, 2016Updated 9 years ago
- [INACTIVE] const-time Rust experiment☆98Nov 2, 2015Updated 10 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- Read trait fixed to soundly work with uninitalized memory☆28Nov 20, 2023Updated 2 years ago
- 🧬 Small OAuth crate that follows the sans-io approach 🦀☆25Aug 8, 2024Updated last year
- And I'll look down and whisper "GNO."☆59Aug 11, 2016Updated 9 years ago
- Derive macro for encoding/decoding instructions and operands as bytecode☆15Mar 15, 2022Updated 4 years ago
- ☆12Aug 26, 2016Updated 9 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Want to try Rust unsafe{}? Still stuck with Ruby? This is for you.☆18Oct 30, 2015Updated 10 years ago
- Version compatibility information for Rust community resources☆11Oct 13, 2015Updated 10 years ago
- ☆38Mar 3, 2015Updated 11 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- ☆24Aug 30, 2018Updated 7 years ago
- A pool of reusable values☆51Nov 10, 2019Updated 6 years ago
- Design contributions to open-source community☆11Apr 16, 2016Updated 9 years ago
- A lint to collect some crate metadata☆116Jun 2, 2016Updated 9 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- a cargo subcommand for counting lines of code in Rust projects☆128Jul 2, 2023Updated 2 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Nov 25, 2020Updated 5 years ago
- A rust macro for building container literals.☆16Jan 12, 2015Updated 11 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 2 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.☆59Dec 15, 2014Updated 11 years ago
- memory functions like a libc memcmp(), memchr(), memmem(), memcpy(), memset()☆24Sep 24, 2025Updated 5 months ago
- Rust declarative static analysis with macro-like syntax☆15Oct 8, 2018Updated 7 years ago
- Rust Cryptography Intrinsics☆12May 9, 2019Updated 6 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- ☆16Mar 3, 2021Updated 5 years ago
- Handle unexpected errors☆26Jul 12, 2024Updated last year
- ☆16Apr 14, 2016Updated 9 years ago
- The Matasano Crypto Challenges in Rust http://cryptopals.com/☆11Nov 5, 2015Updated 10 years ago
- An enrichment of Rust's core language to support more advanced features☆22May 25, 2017Updated 8 years ago
- Annotation to easily define ad-hoc / one-shot extension traits☆15Aug 5, 2025Updated 7 months ago
- An experimental standard library☆229Apr 15, 2016Updated 9 years ago
- Tools for analyzing how the Rust ecosystem is using the language☆12Jan 21, 2015Updated 11 years ago
- Embed stuff in your Rust binary☆11Mar 29, 2025Updated 11 months ago