Giter VIP home page Giter VIP logo

Oba's Projects

create-safe-tx icon create-safe-tx

📜 Useful script to build complex Gnosis Safe transactions involving Gnosis Multisend and/or Zodiac modifiers

foundry-huff icon foundry-huff

A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.

freshcryptolib icon freshcryptolib

Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)

huffmate icon huffmate

A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.

hyvm icon hyvm

Run arbitrary code on the EVM, by nested.fi

kakarot icon kakarot

ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.

picus icon picus

Symbolic Virtual Machine for Automated R1CS Verification

solc-select icon solc-select

Manage and switch between Solidity compiler versions

solmate icon solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

starklings icon starklings

An interactive tutorial to get you up and running with Starknet

vertigo-rs icon vertigo-rs

Mutation Testing for Ethereum Smart Contracts, support for Foundry

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.