Giter Club home page Giter Club logo

joseph-makgopa / smart-contract-verifier Goto Github PK

View Code? Open in Web Editor NEW

This project forked from cos301-se-2021/smart-contract-verifier

0.0 0.0 0.0 9.85 MB

This project is to create a system that uses DeFi technology to enforce contracts. Users will be able to set up contracts between each other, this includes an escrow service for payments. If users disagree over whether a contract was fulfilled, a jury appointed by the system will make the final decision.

Shell 0.02% JavaScript 4.45% Objective-C 0.01% Kotlin 70.98% Dart 19.89% Swift 0.04% HTML 0.35% Dockerfile 0.04% Solidity 4.22%

smart-contract-verifier's Introduction

SavannaSolutionsWideLIGHTPURPLECROPPED

Unison Logo

Smart Contract Verifier

Project Description

This project is to create a system that uses DeFi technology to enforce contracts.

Users will be able to set up contracts between each other, this includes an escrow service for payments. If users disagree over whether a contract was fulfilled, a jury appointed by the system will make the final decision.

Team Members

Member Name Brief Description Links
Kaleb Bruwer 3rd Year Computer Science

Github LinkedIn PersonalPage
Kevin du Preez 4th Year B.IT

Github LinkedIn PersonalPage
Jason Maritz 3rd Year Computer Science

Github LinkedIn PersonalPage
Cobus Redelinghuys 3rd Year Computer Science

Github LinkedIn PersonalPage
Ronan van de Vyver 3rd Year Computer Science

Github LinkedIn PersonalPage

SRS Document

SRS Document Latest

SRS Document Demo 2

Architectural Design Specification

Architectural Design Specification Latest

Architectural Design Specification Demo 2

Project Management Tool Link

Space

Demo Videos

Demo 1

Demo 2

Demo 3

Demo 4

User Manual

Unison User Manual Latest

Unison User Manual Demo 3

Unison User Manual Demo 2

Technical Installation Guide

Unison Technical Installation Guide

Testing Policy

Testing Policy

Coding Standards

Coding Standards Latest

Coding Standards Demo 2

Kumospace Virtual Room

Click on the image below to join our Virtual Room: Savanna Solutions Virtual Room

smart-contract-verifier's People

Contributors

cobus-redelinghuys avatar jasonmaritz avatar bitbadger8 avatar kaleb-bruwer avatar ronan-up avatar

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.