Skip to content
View voskh0d's full-sized avatar

Block or report voskh0d

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

Popular repositories Loading

  1. jakstab jakstab Public

    Forked from jkinder/jakstab

    The Jakstab static analysis platform for binaries

    Java

  2. floatconv floatconv Public

    Forked from m-ou-se/floatconv

    Fast implementations of integer/floating point conversion operations.

    Rust

  3. kani kani Public

    Forked from model-checking/kani

    Kani Rust Verifier

    Rust

  4. const-trig const-trig Public

    Rust crate providing const trig functions

    Rust 2

  5. libc libc Public

    Forked from rust-lang/libc

    Raw bindings to platform APIs for Rust

    Rust

  6. acl2 acl2 Public

    Forked from acl2/acl2

    ACL2 System and Books as Maintained by the Community

    Common Lisp