Ari
Purely functional programming language designed to "type" binary files
ProjectID
Ari
Acronym
Ari
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Handling Data from IPv6 Scanning
Scanning tools for scaling up IPv6 scans
LIBreDa – Libre Electronic Design Automation.
LibrEDA is a libre software-framework for the physical design of silicon chips, This project wants to bring them to a...
Python bindings to the rattler library
Next Generation SSI Standards
Verifiable credentials remove the need for usernames and passwords, thereby significantly reducing the possibility of identity theft. Interworking tests will...
