Skip to content
View MaksymilianDemitraszek's full-sized avatar
🐄
🐄

Organizations

@foundry-rs

Block or report MaksymilianDemitraszek

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. foundry-rs/starknet-foundry foundry-rs/starknet-foundry Public

    Blazing fast toolkit for developing Starknet contracts.

    Rust 331 183

  2. software-mansion/cairo-profiler software-mansion/cairo-profiler Public

    Profiler for Cairo programming language & Starknet

    Rust 32 2

  3. software-mansion/cairo-coverage software-mansion/cairo-coverage Public

    Code coverage tool for cairo

    Rust 16 3

  4. NecklaceTeam/necklace NecklaceTeam/necklace Public

    Programming language

    Haskell 7

  5. software-mansion/protostar software-mansion/protostar Public

    Protostar is a toolchain for developing and testing Starknet contracts

    Python 250 48

  6. aionescu/uu-mpsv-gcl-verifier aionescu/uu-mpsv-gcl-verifier Public

    GCL verification tool based on predicate transformers

    Haskell 2