ulid-lite
Rudra
Our great sponsors
ulid-lite | Rudra | |
---|---|---|
3 | 11 | |
19 | 1,294 | |
- | 2.2% | |
4.1 | 5.5 | |
almost 3 years ago | about 2 months ago | |
Rust | Rust | |
- | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ulid-lite
-
Announcing uuid-simd, hex-simd and base64-simd!
I have a fast implementation of the ulid format. When I created it, it was the fastest implementation available https://github.com/timClicks/ulid-lite
-
Is There Anyway To Analyze Unsafe Rust Code For Vulnerabilities?
You are welcome to take a look: https://github.com/timClicks/ulid-lite/blob/e3e97b55bc3183417f732b435cd8d916a8be339f/src/lib.rs
-
Things I learned about creating a C API for my Rust crate by making every mistake about creating a C API
Naturally, I thought that I should try and implement them. And I did. In fact, some benchmarking indicates that I may have created the fastest Rust implementation: it takes my computer roughly 28 nanoseconds to generate an identifier. That's 35,000 ULIDs per millisecond.
Rudra
- Rudra – static analyzer to detect common undefined behaviors in Rust programs
- Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale [pdf]
-
Does Rust not need extra linting and sanitizing tools like C++?
If you’re writing unsafe Rust, you might consider cargo miri and Rudra as additional static analyzers which can find bugs rustc won’t
-
Open Rust-related systems research problems suitable for PhD?
In my opinion, much of Rust-specific PhD research likely to be publishable and/or high impact either falls into verification (e.g Prusti, Cruesot) or bug-finding (e.g. Rudra, SyRust). Ralf Jung and his collaborators have done exceptional work in the verification space.
-
Introducing Fortify: A simple and convenient way to bundle owned data with a borrowing type
Perhaps Rudra as well.
- Magma, a project I hope will make provably correct software possible for everyone
-
Is There Anyway To Analyze Unsafe Rust Code For Vulnerabilities?
Haven't used it myself, but I remembered a tool called Rudra was recently posted about in the sub
-
Scylla – Real-Time Big Data Database
Not sure proves your point, but maybe doesn't disprove your point strongly enough. I am not qualified to argue from experience about how Rust is ideally suited in the ways you think it is not. But from everything I have seen, it can do a whole lot of what C++ is also good at. Rust safety is not all or nothing and a codebase could definitely prioritize ergonomics over correctness.
Two things that I saw in the last couple weeks that might start to sway you.
https://github.com/sslab-gatech/Rudra#readme
GhostCell: Separating Permissions from Data in Rust
- Rudra, Rust Memory Safety and Undefined Behavior Detection
- Rudra: Rust Memory Safety and Undefined Behavior Detection
What are some alternatives?
spec - The canonical spec for ulid
magmide - A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
uuid - Generate and parse UUIDs.
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
portable-simd - The testing ground for the future of portable SIMD in Rust
project-safe-transmute - Project group working on the "safe transmute" feature
ulid-rs - This is a Rust implementation of the ulid project
electrolysis - Simple verification of Rust programs via functional purification in Lean 2(!)
rust-base64 - base64, in rust
rust-verification-tools - RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
spec - The Score Specification provides a developer-centric and platform-agnostic Workload specification to improve developer productivity and experience. It eliminates configuration inconsistencies between environments.
rust - Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266