vmarcin

vmarcin's Stars

• Ackee-Blockchain/wake

  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors

  Language:Python24029

• valeriyvan/Motivation

  Mac screen saver that terrifyingly shows your age

  Language:Swift41

• polybase/benchy

  Benchy is a Rust crate for benchmarking long-running tasks

  Language:Rust1

• crytic/solana-lints

  Lints based on the Sealevel Attacks

  Language:Rust314

• sannykim/solsec

  A collection of resources to study Solana smart contract security, auditing, and exploits.

  57473

• Ackee-Blockchain/trident

  Rust-based framework to Fuzz and Integration test Solana programs to help you ship secure code.

  Language:Rust19718

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq81113

• randriu/synthesis

  Language:templ2216

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.9k2k