-
Huawei Dresden Research Center
- Dresden
-
17:29
(UTC +02:00)
Lists (2)
Sort Name ascending (A-Z)
Stars
Remove unused Rust dependencies with this one weird trick!
Research prototype tool for modular formal verification of C, Rust and Java programs
About A git subcommand for analyzing package/dependency usage in git repositories over time
Public repository of the Micro QuickJS Javascript Engine
Extract documentation for the feature flags from comments in Cargo.toml
Count lines of LLVM IR per generic function
Oniro IDE is a VSCode Extension for Oniro application development.
Robrix: a multi-platform Matrix chat client written in Rust, using the Makepad UI toolkit and the Robius app dev framework
High quality, fast and easy to build cryptography for Rust
Provides a very thin abstraction over instrumented profiling crates like puffin, optick, tracy, and superluminal-perf.
Automatic tiling window manager for macOS à la xmonad.
A jq clone focussed on correctness, speed, and simplicity
Fork of std::sync::Arc with lots of utilities useful for FFI
A group of Rust projects for interacting with and producing software bill of materials (SBOMs).
Cryptomator for Windows, macOS, and Linux: Secure client-side encryption for your cloud storage, ensuring privacy and control over your data.
Pure-Rust rewrite of the Linux fontconfig library (no system dependencies) - using ttf-parser and allsorts