16 ICOs Found Matching Search "Formal"
Sorted By Rating Descending
LendLedger
3
ENDED
LendLedger brings together Borrowers, Lenders, and Data Providers in an open and decentralized network built...
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.
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.
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...
Elrond Network
0
ENDED
The advent of secure public blockchains through Bitcoin and later Ethereum, has brought forth a...
Burency
0
ENDED
Burency is an advocate for crypto and Blockchain adoption, particularly in the MIDDLE EAST. The...
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.
LiveContracts
0
ENDED
A tokenized system of legally binding contracts. Exact sales dates TBA.
Telegram
0
ENDED
A cryptocurrency and blockchain aspiring to achieve mainstream adoption. Exact sales dates TBA.
Araneobit
0
ENDED
A currency transfer and exchange service.