All Projects → COS301-SE-2021 → Smart-Contract-Verifier

COS301-SE-2021 / Smart-Contract-Verifier

Licence: other
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.

Programming Languages

kotlin
9241 projects
dart
5743 projects
javascript
184084 projects - #8 most used programming language
solidity
1140 projects
HTML
75241 projects
Dockerfile
14818 projects

Projects that are alternatives of or similar to Smart-Contract-Verifier

nifty-game
🃏🎮A NFT(ERC721) card game build on Ethereum, Truffle, Ganache and hosting on IPFS.
Stars: ✭ 222 (+1287.5%)
Mutual labels:  smart-contracts
HealthCare-Insurance-Ethereum
Medical insurance claiming DApp which uses a Multi-Sig type approach to grant claim (ConsenSys project)
Stars: ✭ 65 (+306.25%)
Mutual labels:  smart-contracts
trustbase
Smart Contract parachain interoperate with Polkadot and Ethereum
Stars: ✭ 22 (+37.5%)
Mutual labels:  smart-contracts
SimpleCurd
2个类,实现类ActiveRecord,无需写Mapper, mybatis增强
Stars: ✭ 14 (-12.5%)
Mutual labels:  jpa
template-studio
A Web UI for creating, editing and testing Accord Project templates
Stars: ✭ 27 (+68.75%)
Mutual labels:  smart-contracts
spring-boot-data-jpa-mysql
Spring Boot Rest CRUD API example - Spring Data JPA to interact with MySQL/PostgreSQL database.
Stars: ✭ 89 (+456.25%)
Mutual labels:  jpa
clarity-smart-contracts
Collection of Smart Contract for Stacks Blockchain in Clarity
Stars: ✭ 61 (+281.25%)
Mutual labels:  smart-contracts
elven-nft-minter-sc
Elven Tools SC - Smart Contract for launching NFTs collections on the Elrond blockchain
Stars: ✭ 30 (+87.5%)
Mutual labels:  smart-contracts
tranquility
Tranquility is an in-development programming language intended to replace Solidity
Stars: ✭ 17 (+6.25%)
Mutual labels:  smart-contracts
PhantasmaChain
Blockchain with native storage and smart contract integration.
Stars: ✭ 74 (+362.5%)
Mutual labels:  smart-contracts
active-persistence
Active Persistence is a implementation of Active Record Query Interface for JPA that makes it easy and fun.
Stars: ✭ 14 (-12.5%)
Mutual labels:  jpa
near-cli
General purpose command line tools for interacting with NEAR Protocol
Stars: ✭ 130 (+712.5%)
Mutual labels:  smart-contracts
test-data-loader
A Groovy DSL for creating test data via JPA
Stars: ✭ 12 (-25%)
Mutual labels:  jpa
uniswap-skim
scripts to scan all of the uniswapV2🦄 contracts on ethereum and search for skim opportunities
Stars: ✭ 126 (+687.5%)
Mutual labels:  smart-contracts
morn-boot-projects
基于SpringBoot的JavaWeb开发框架,致力于为JavaWeb项目提供标准化API。
Stars: ✭ 31 (+93.75%)
Mutual labels:  jpa
ethereum-contracts
Knowledge Ethereum Smart Contracts
Stars: ✭ 41 (+156.25%)
Mutual labels:  smart-contracts
blockhead
Crypto portfolio tracker, DeFi dashboard, NFT viewer and data explorer for the Ethereum/EVM-based blockchain ecosystem and the web 3.0-powered metaverse https://gitcoin.co/grants/2966/blockhead
Stars: ✭ 41 (+156.25%)
Mutual labels:  smart-contracts
jpa-repository
Repository programming model with JPA 2 and Specification pattern provides a simple and easy way to build the data access layer.
Stars: ✭ 14 (-12.5%)
Mutual labels:  jpa
jpa-manytomany-extracolumns-springboot-maven-mysql
JPA Many-To-Many Extra Columns Relationship Mapping Example with Spring Boot, Maven and MySQL
Stars: ✭ 15 (-6.25%)
Mutual labels:  jpa
DeFi-Developer-Road-Map
DeFi Developer roadmap is a curated Web3.0 Developer handbook which includes a list of the best tools for DApps, development resources and lifehacks.
Stars: ✭ 5,658 (+35262.5%)
Mutual labels:  smart-contracts

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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].