Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with f-star

A curated list of projects in awesome lists tagged with f-star .

https://github.com/fstarlang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

c-language cryptography f-star proofs verification

Last synced: 22 Dec 2024