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
django-allauth
Versatile authentication for Django
Extending PeerTube
Adding advanced search capabailities to PeerTube
Type Inference for Nix
Adding static typing and type inference to Nix
RA-Sentinel
FPGA-based Radio Receiver for securing Wifi against hacking attacks
