Prusti
Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs. Formal verification of system software is notoriously difficult and requires complex specifications and logics (such as separation logic) to reason about pointers, aliasing, and side effects on mutable state
Overview · Serde
Serde Serde is a framework for serializing and deserializing Rust data structures efficiently and generically. The Serde ecosystem consists of data structures that know how to serialize and deserialize themselves along with data formats that know how to serialize and deserialize other things. Serde provides the layer by which these two groups interact with each other, allowing any supported data s
Announcing Tokio 1.0 | Tokio - An asynchronous Rust runtime
We are pleased to announce the 1.0 release of Tokio, an asynchronous runtime for the Rust programming language. Tokio provides the needed building blocks for writing reliable networking applications without compromising speed. It comes with asynchronous APIs for TCP, UDP, timers, a multi-threaded, work-stealing scheduler, and more. Over the years, we have been delighted watching our users build am
Microsoft: We're creating a new Rust-like programming language for secure coding
The company has partially explained its security-related motives for experimenting with Rust, but hasn't gone into much detail about the broader reasons for its move. SEE: How to build a successful developer career (free PDF) All Windows users know that on the second Tuesday every month, Microsoft releases patches to address security flaws in Windows. Microsoft recently revealed that the vast majo
Introducing MIR
We are in the final stages of a grand transformation on the Rust compiler internals. Over the past year or so, we have been steadily working on a plan to change our internal compiler pipeline, as shown here: That is, we are introducing a new intermediate representation (IR) of your program that we call MIR: MIR stands for mid-level IR, because the MIR comes between the existing HIR ("high-level IR
GitHub - xi-editor/xi-editor: A modern editor with a backend written in Rust.
Maintenance status: *The xi-editor project is currently discontinued. Although we will happily accept bug fixes, no new features are currently planned. You may be interested in the Lapce editor, which can be considered a spiritual successor to the xi-editor. — The Editors Note: This repo contains only the editor core, which is not usable on its own. For editors based on it, check out the list in F
токамак
Cargo Project Support Create library and binary cargo packages, manage them too. CTRL-ALT-P as default Build Tasks & More... Tokamak supplies tasks on its toolbar for cleaning, formatting, running, testing and more... It is designed for helping your project's lifecycle. README of Tokamak Go To Definition and Hover over types Tokamak allows you to see types and enables you to go to definition. More
Announcing Rust 1.6 | Rust Blog
Hello 2016! We’re happy to announce the first Rust release of the year, 1.6. Rust is a systems programming language focused on safety, speed, and concurrency. As always, you can install Rust 1.6 from the appropriate page on our website, and check out the detailed release notes for 1.6 on GitHub. About 1100 patches were landed in this release. What's in 1.6 stable This release contains a number of
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - TaKO8Ki/frum: A little bit fast and modern Ruby version manager written in Rust
Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS
GitHub - servo/servo: Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine