Entrypoint to Diplodoc platform

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Rust definitions of the resource types in the Kubernetes client API

Rust Kubernetes client and controller runtime

Rust Memory Safety & Undefined Behavior Detection

Please do not use this.

Rust native core model for the AWS Smithy IDL

🔌 ✨rustlang hyper bindings for local unix domain sockets

A cargo subcommand that generates Debian packages from information in Cargo.toml

GCC Front-End for Rust

OpenSSL bindings for Rust

Code for the manim-generated scenes used in 3blue1brown videos

One second to read GitHub code with VS Code.

Linear Algebra Course being taught in HSE in 2020/2021 (in russian)

Tools to avoid unnecessary usage of safe code

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Metal I/O library for Rust.

Synchronization primitives for Futures and async/await based on intrusive collections

An x86 bootloader written in Rust.

Fake implementation of `std::ops::Fn` for user-defined data types

A pure-Rust asynchronous library for Docker Registry API v2

Simple Beer Service (SBS) is a cloud-connected kegerator that streams live sensor data to AWS.

Dataset for medics died in Russia during COVID-19 pandemic

An HTTP library for Rust

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

Fair electronic judge

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...