Alive2
Translation validation for LLVM
ProjectID
Alive2
Acronym
Alive2
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Portugal
NGI Project: NGI zero core
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
MidScale
re-implement midPoint data store mechanisms to support large data sets and take full advantage of PostgreSQL open source database. We...
PeerTube
A decentralised streaming video platform
Infrastructure to facilitate payments for verifiable credentials
We aim to provide one essential piece that is missing for uncommitted parties to engage in SSI with enthusiasm: the...
libvips
Add animated PNG and enhanced JPEG XL support to libvips
