Agua AI

Automatic Debugging with almost zero human input

  • The ICO repository for the Smart Contracts

    JavaScript 3 2 MIT Updated Mar 22, 2018
  • Working on Beta - Automatic Bug Patch Generation for Smart Contracts

    MIT Updated Nov 20, 2017
  • fatalErrors in Smart Contracts

    Haskell Updated Oct 18, 2017
  • JavaScript MIT Updated Jun 2, 2016

Top languages


Most used topics




This organization has no public members. You must be a member to see who’s a part of this organization.