4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
otf-scunthorpe-sans 2-1 0 0.00 A s*** font that f***ing censors bad language automatically. Nish 2020-05-10 14:16 (UTC)
karamel-git fstar.v2022.11.19.r846.g71facac.karamel.v1.0.0.r421.gbd359d8-1 0 0.00 a tool for extracting low-level F* programs to readable C code crave 2023-03-21 14:26 (UTC)
fstar-ulib 0.9.6.0-18 0 0.00 compiles the ulib component of F* crave 2018-07-30 10:50 (UTC)
fex-utils-git 20150615.r0.ge600969-1 2 0.00 Utilities for F*EX, a web service to send very large files. cptiglo 2015-06-16 22:25 (UTC)

4 packages found. Page 1 of 1.