Skip to content
View HMPerson1's full-sized avatar

Block or report HMPerson1

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

Pinned Loading

  1. rust-lang/rust-clippy rust-lang/rust-clippy Public

    A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

    Rust 11.5k 1.5k

  2. soi soi Public

    A compiler for a less simple toy language

    Haskell

  3. plotany plotany Public

    An implicit equation plotter

    Rust

  4. radareorg/radeco radareorg/radeco Public

    radare2-based decompiler and symbol executor

    Rust 371 52

  5. formal-crypto formal-crypto Public

    Some proofs about cryptography

    Coq 1

  6. rcdickerson/orhle rcdickerson/orhle Public

    An automatic verifier for RHLE properties.

    Haskell 5