directory.algo

Search
Skip to content
  • Latest news  
  • Grants and funding
  • Guides
    • Algorand Governance
    • Algorand wallets
  • Categories
  • Twitter  
  • Info

KAVM

“KAVM leverages the K Framework to empower Algorand smart contract developers with property-based testing and formal verification.”

Tools
Notes

More info: https://www.reddit.com/r/AlgorandOfficial/comments/11ml5b6/runtime_verification_brings_formal_verification/

Parent company is Runtime Verification: https://runtimeverification.com/

Website
https://github.com/runtimeverificatio...

Post navigation

Previous PostQuantum TempleNext PostProject Galapago

Explore more projects

Deridex
Deridex

"Decentralised derivatives protocol built on Algorand."

Asset1
Asset1

"Track all your Algorand DeFi investments, assets, NFDs and NFTs in one place."

Wholechain
Wholechain

"Traceability for global supply chains using blockchain."

2i2i
2i2i

"The bridge between energy and information. Earn coins by talking to your fol...

EXA Market
EXA Market

"The most advanced NFT marketplace on Algorand. Empowering the future collect...

Flipside Crypto
Flipside Crypto

"Providing community-enabled crypto analytics, allowing users to create and s...

Dartroom
Dartroom

"Sustainable digital art marketplace."

PiPhi Network
PiPhi Network

"Collect, visualise, and share your environmental and smart home data. Be rew...

Algomint
Algomint

"Bringing BTC, ETH and stablecoins to Algorand."

ClimateCoin
ClimateCoin

"Join the global movement empowering climate finance through meaningful inves...

A Twitter List by directory_algo

Algorand's unofficial ecosystem directory

Categories

Bridge (7)
DeFi/fintech (53)
Development (6)
DEX (13)
Environmental (16)
Faucet (2)
Gambling (9)
Gaming (24)
Guides/info (7)
Launchpad (3)
Music (6)
Name service (2)
NFT marketplace (23)
Other (63)
Real estate (8)
Security/identity (10)
Social (11)
Stats/tracking (26)
Tools (45)
Wallet (4)

None of the information provided on this website is financial advice.

Proudly powered by WordPress