Giter Site home page Giter Site logo

Gustavo Grieco's Projects

awesome-libra icon awesome-libra

A collection about all things Libra, Move & Zuckerbucks - Let's reinvent money with fast and cheap world-wide transfers; let's bank the 1.7 billion unbanked, ...

bitcoin-abc icon bitcoin-abc

This a mirror of the official Bitcoin-ABC repository. Please see README.md

blockchain icon blockchain

Compilation of useful documents and scientific papers about Blockchain & cryptocurrencies.

cosmos-sdk icon cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

deepstate icon deepstate

DeepState augments C/C++ Test-Driven Development with Symbolic Execution

dev icon dev

Liquity monorepo containing the contracts, SDK and Dev UI frontend.

devcontest icon devcontest

Generic contract that can plug into existing ERC20 tokens to run crowdsourced development contests for your platform

grr icon grr

High-throughput fuzzer and emulator of DECREE binaries

k-dss icon k-dss

formal verification of multicollateral dai in the K framework

logic_bombs icon logic_bombs

This repository contains several examples of logic bomb.

masala icon masala

Standalone Ethereum Virtual Machine

osquery icon osquery

SQL powered operating system instrumentation, monitoring, and analytics.

testfs icon testfs

DeepState testing for TestFS, a user level toy file system that is similar to ext3

wasm-tools icon wasm-tools

CLI and Rust libraries for low-level manipulation of WebAssembly modules

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.