8000 mzabaluev (Mikhail Zabaluev) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View mzabaluev's full-sized avatar

Organizations

@gi-rust

Block or report mzabaluev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Kani Rust Verifier

Rust 2,560 116 Updated May 30, 2025

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

Rust 443 11 Updated May 21, 2025

🧪 A platform for testing, benchmarking, and simulating distributed and p2p systems at scale.

Go 424 77 Updated May 24, 2024

A GitHub ac 8000 tion to create a repository dispatch event

TypeScript 1,048 149 Updated May 30, 2025

Write safer FFI code in Rust without polluting it with unsafe code

Rust 986 43 Updated May 26, 2025

A crate for safe and ergonomic pin-projection.

Rust 659 36 Updated Mar 20, 2025

manage cargo cache (${CARGO_HOME}, ~/.cargo/), print sizes of dirs and remove dirs selectively

Rust 921 20 Updated Jun 4, 2023

derive(Error) for struct and enum error types

Rust 4,915 173 Updated May 17, 2025

Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

Rust 777 157 Updated Oct 18, 2023

Rust tool to collect and aggregate code coverage data for multiple source files

Rust 1,273 160 Updated May 26, 2025

A gRPC client & server implementation.

Rust 565 72 Updated Oct 2, 2019

The Pact Smart Contract Language

Haskell 601 106 Updated Mar 13, 2025

Automatic checking for semantic versioning in library crates

Rust 635 41 Updated Jul 17, 2023

Zero-cost asynchronous programming in Rust

Rust 5,620 653 Updated May 23, 2025

Incremental, zero-copy UTF-8 decoding for Rust

Rust 24 8 Updated Jan 21, 2023

Rust Code Completion utility

Rust 3,362 280 Updated Nov 19, 2023

An HTTP/2 implementation in Rust

Rust 339 29 Updated Aug 1, 2020

A simple Minecraft written in Rust with the Piston game engine

Rust 1,887 105 Updated Jan 18, 2023

Metal I/O library for Rust.

Rust 6,627 774 Updated May 25, 2025

Go to

C 3,262 648 Updated Jun 27, 2015

Empowering everyone to build reliable and efficient software.

Rust 103,915 13,373 Updated May 31, 2025

String validation

JavaScript 23,506 2,338 Updated May 28, 2025
0