Coder Social home page Coder Social logo

David Fernandez's Projects

arbiter icon arbiter

Allowing smart contract developers to do simulation driven development via an EVM emulator.

arkadiko icon arkadiko

Arkadiko implements a stablecoin (USDA) and governance token (DIKO) on Stacks

auto-gpt icon auto-gpt

An experimental open-source attempt to make GPT-4 fully autonomous.

blocksec-ctfs icon blocksec-ctfs

A curated list of blockchain security Capture the Flag (CTF) competitions

book icon book

Clarity of Mind is both an introductory as well as a reference book for the Clarity smart contract language.

clarity-wasm icon clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.

dshare icon dshare

Share big data with IPFS and NFT.Storage!

dss icon dss

Dai Stablecoin System

erigon icon erigon

Ethereum implementation on the efficiency frontier

eth-security-toolbox icon eth-security-toolbox

A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

evm-mastery icon evm-mastery

This repository contains list of resources to aid your journey of mastering Ethereum Virtual Machine. If you find any resource missing, you can create a pull request and be a contributor of the project.

firedancer icon firedancer

Firedancer is Jump Crypto's Solana consensus node implementation.

forge-std icon forge-std

Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.

foundry icon foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

gpt-engineer icon gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it.

grants-program icon grants-program

Welcome to the Stacks Foundation Grant Program. Community members interested in submitting a grant proposal may do so by opening an issue in this repository and filling out the grant application.

halmos icon halmos

Symbolic bounded model checker for Ethereum smart contracts

hardhat-starter-kit icon hardhat-starter-kit

A repo for boilerplate code for testing, deploying, and shipping chainlink solidity code.

heimdall-rs icon heimdall-rs

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis.

lagoon icon lagoon

A basic sBTC powered lending app

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.