Showing 25 of 28 ICOs Found Matching Search "Formal Specification"
Sorted By Rating Descending
Telegram
0
ENDED
A cryptocurrency and blockchain aspiring to achieve mainstream adoption. Exact sales dates TBA.
LendLedger
3
ENDED
LendLedger brings together Borrowers, Lenders, and Data Providers in an open and decentralized network built...
Luxreum
0
ENDED
A luxury goods marketplace with cryptocurrency payment options.
QYKBAR
0
ENDED
A decentralized alcohol purchase and consumption platform, allowing users to share purchases across bars.
Evarium
0
ENDED
An asset-backed real estate investment platform. Exact sales dates TBA.
Cloverdex
0
ENDED
A hybrid decentralized exchange featuring fiat gateways.
Republia
0
ENDED
A native blockchain protocol emphasizing formal verification.
iOlite
0
ENDED
A community-driven knowledge base for naturalized languages which enables easier human-machine interfacing.
Global Funeral Care
0
ENDED
The first globally sourced decentralized platform without entry barriers to support the global funeral industry,...
Crypton VC
0
ENDED
A decentralized venture capital fund for fintech and blockchain projects.
STIPS
0
ENDED
A DECENTRALIZED CRYPTO-FINANCE ECOSYSTEM FOR SMART INVESTING AND ASSET MANAGEMENT
Celer Network
0
ENDED
Celer Network is a leading layer-2 scaling platform that enables fast, easy and secure off-chain...
Zenome
0
ENDED
Zenome is the genomics distributed environment for storing, processing and exchanging of genetic information, that...
1WorldBlockchain
0
ENDED
A fully AML/KYC compliant automated cross-border payment platform built on ERC223. Exact sales dates TBA.
VenusEnergy
0
ENDED
VenusEnergy - a project that, in conditions of large-scale environmental pollution - offers an alternative....
Elrond Network
0
ENDED
The advent of secure public blockchains through Bitcoin and later Ethereum, has brought forth a...
BitWings
0
ENDED
A smartphone with cryptocurrency mining.
Burency
0
ENDED
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The...
GINEX
0
ENDED
An international exchange for gaming facilities and services.
Glyff
0
ENDED
Blockchain and its applications, cryptocurrency and smart contracts, have been lauded as a key innovation...
MatrixChain
0
ENDED
A blockchain platform that supports smart contracts and machine learning services.
Universal Recognition Token
0
ENDED
Universal Recognition Token is the first blockchain-based corporate rewards marketplace where employees may sell and...
Akropolis
0
ENDED
A blockchain-based alternative pension infrastructure.
Filecoin
0
ENDED
The Filecoin network will operate as a decentralized, open marketplace for storage services.
Hycon
0
ENDED
A cryptocurrency using a direct acyclic graph structure and Spectre consensus algorithm to increase transaction...