embarkstudios / presser Goto Github PK
View Code? Open in Web Editor NEWA crate to help you copy things into raw buffers without invoking spooky action at a distance (undefined behavior).
License: Apache License 2.0
A crate to help you copy things into raw buffers without invoking spooky action at a distance (undefined behavior).
License: Apache License 2.0
It would be great to be able to use these and would help with not violating miri's implementation of stacked borrows by allowing us to not narrow the borrow until needed. But, rust-lang/rust#71146 is needed before this is possible.
Related to #1, but likely to come after. Requires https://doc.rust-lang.org/std/mem/union.MaybeUninit.html#method.slice_assume_init_ref and some other MaybeUninit
methods to become stable to be practical.
We should add a self-audit of this crate to our central audit file in https://github.com/EmbarkStudios/rust-ecosystem/blob/main/audits.toml.
Practically all that is needed is doing a PR to that repo that adds a toml item for the latest version of presser
, would be nice in the notes of the audit to describe a bit around the unsafe code in this crate, that there are no ambient capabilities or dependencies, and can say that we are using it in production. Can be quite brief though!
See this section about what to think about for the audit: https://mozilla.github.io/cargo-vet/built-in-criteria.html#safe-to-deploy
Self-audit/certification is fine (see cargo-vet book), but it would be wonderful if we could later also find someone external to audit it also.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.