Stars
Formally verified implementation of the CoAP protocol in SPARK/Ada
A new markup-based typesetting system that is powerful and easy to learn.
Coverage guided fuzz testing for cobra^H^H^H^H^Hpython
An app for tracking your health and training progress.
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/
Generate memorable Diceware word list from text corpora
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
INCEpTION provides a semantic annotation platform offering intelligent annotation assistance and knowledge management.
A desktop client for Glyphr Studio built in electron
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
Python-based Derivative-Free Optimization with Bound Constraints
Collaborative office suite, end-to-end encrypted and open-source.
NVIDIA Linux open GPU kernel module source
Convert RSS/Atom feeds into a single e-paper compatible PDF
lmod based management tool for GNAT and SPARK installations
A standalone version of the readability lib
fast python port of arc90's readability tool, updated to match latest readability.js!
Tooling for analysis and manipulation of Ada software
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators