src_prepare-overlay/dev-lang/fstar/metadata.xml

22 lines
1.0 KiB
XML
Raw Normal View History

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<longdescription>
F* (pronounced F star) is a general-purpose functional programming language
with effects aimed at program verification. It puts together the automation
of an SMT-backed deductive verification tool with the expressive power of a
proof assistant based on dependent types. After verification, F* programs
can be extracted to efficient OCaml, F#, C, WASM, or ASM code. This enables
verifying the functional correctness and security of realistic
applications. The main ongoing use case of F* is building a verified,
drop-in replacement for the whole HTTPS stack in Project Everest. This
includes verified implementations of TLS 1.2 and 1.3 and of the underlying
cryptographic primitives.
</longdescription>
<upstream>
<bugs-to>https://github.com/FStarLang/FStar/issues</bugs-to>
<remote-id type="github">FStarLang/FStar</remote-id>
</upstream>
</pkgmetadata>