jaq
Implementation of jq in Rust with formal semantics
ProjectID
jaq
Acronym
jaq
Additional Info
- Resources
- Source code
- https://github.com/01mf02/jaq
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI Zero Entrust
Status: Early research demo
Category: Data and machine learningSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Snikket – XPORTA
Snikket enables a group of people (e.g. a family, club or small organization) to communicate privately and securely on their...
Haphaestus
Lightweight JavaScript-free browser engine written in Haskell
Agorakit
Groupware which is a friendly online home to communities
Client Proof-of-Work in TLS
Mitigation against DoS amplification on the TLS handshake
