unboxedtype

unboxedtype's Stars

• SunWeb3Sec/DeFi-Security-Breach-RCA

  DeFi Security Breaches: Comprehensive Root Cause Analysis

  536

• SunWeb3Sec/DeFiHackLabs

  Reproduce DeFi hacked incidents using Foundry.

  Language:Solidity5.2k1.1k

• paltalabs/instance-persistent-dos-soroban

  A Repo to replicate a DoS situation when using instance or persistent storage wih Vectors or Mappings in Soroban

  Language:Rust1

• karol-bisztyga/soroban_decimal_numbers

  A tool for handling decimal point numbers in Rust with no_std designed to be used in Soroban smart contracts.

  Language:Rust1

• esteblock/reentrancy-soroban

  Language:Rust1

• esteblock/fractions-soroban

  Exploring non-integer types in Soroban

  Language:Rust2

• esteblock/auth-soroban

  Repo to experiment with auth, non-root auth and cross-contract calls that require auth in Soroban

  Language:Rust2

• esteblock/overflow-soroban

  Testing Overflow Restrictions in Soroban

  Language:Rust11

• GaloisInc/formal-verso

  Formal Verification for Soroban

  Language:Rust1

• stephan-tolksdorf/fparsec

  A parser combinator library for F#

  Language:F#52345

• gui-cs/Terminal.Gui

  Cross Platform Terminal UI toolkit for .NET

  Language:C#9.6k686

• mono/LineEditor

  LineEditor is an interactive line editor for Command Line applications in .NET

  Language:C#23418

• unboxedtype/light

  Language:F#52

• koknat/callGraph

  A multi-language tool which parses source code for function definitions and calls

  Language:Perl23027

• microsoft/eEVM

  Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.

  Language:C++36181