Highlights
- Pro
Stars
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Synchronization primitives for lazy and one-time initialization (no_std compatible).
Type-safe transmutations between layout-compatible types.
Integration with OS certificate stores for rustls
This crate guarantees that your application is free of panicking branches
A transparent, highly scalable and cryptographically verifiable data store.
Proposal for automatically setting an iframe height via HTML/CSS
A browser API to prevent DOM-Based Cross Site Scripting in modern web applications.
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
Fast json encoder in rust, that encodes the structure of JSON values in their types
Scroll - making scrolling through buffers fun since 2016
An axiom-free formalization of category theory in Coq for personal study and practical work
A reverse OpenID Connect and OAuth 2 proxy, implementing the client-credentials flow.
Inline, type safe X86-64 assembly programming in Agda
A (mostly) pure-Rust implementation of various cryptographic algorithms.
Linux Engine for Asset Retrieval - speed-profiled C HTTP server