Bug#991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Package: wnpp
Severity: wishlist
Owner: Marcel Fourné <debian@marcelfourne.de>
X-Debbugs-Cc: debian-devel@lists.debian.org
* Package name : jasmin-lang
Version : 0.1
Upstream Author : jasmin-users and developers mailing list <jasmin-users@inria.fr>
* URL : https://github.com/jasmin-lang/jasmin/wiki
* License : CECILL-B
Programming Lang: Coq, Ocaml
Description : Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
The Jasmin programming language smoothly combines high-level and low-level constructs, so as to support “assembly in the head” programming. Programmers can control many low-level details that are performance-critical: instruction selection and scheduling, what registers to spill and when, etc. They can also rely on high-level abstractions (variables, functions, arrays, loops, etc.) to structure their code and make it more amenable to formal verification.
The package is relevant to implementors as well as researchers in cryptography. It can be used to compile, interpret and extract programs to EasyCrypt, which is then used for the cryptographic proofs.
I plan to maintain the packages myself, but I am also very open to team maintenance for example among the Debian Ocaml Group. Since I am not a Debian Developer, I need a sponsor.
Reply to: