F*

F*

F * je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.F * lahko izrazi natančne specifikacije za programe, vključno z lastnostmi funkcionalne korektnosti.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.
F * (izgovarja se zvezda F) je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.Njegov tipni sistem vključuje polimorfizem, odvisne vrste, monadične učinke, vrste izpopolnjevanja in najšibkejši predpogoj.Te funkcije skupaj omogočajo izražanje natančnih in kompaktnih specifikacij za programe, vključno z lastnostmi funkcionalne korektnosti.Cilj preverjanja tipa F * je dokazati, da programi izpolnjujejo njihove specifikacije z uporabo kombinacije reševanja SMT in ročnih dokazov.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.
f-

Spletna stran:

Lastnosti

Kategorije

Alternativa F*u za Web

CamDesk

CamDesk

CamDesk je brezplačen, odprtokodni namizni pripomoček za spletno kamero, ki je bil ustvarjen kot aplikacija za nadzor doma.
Masked Cache

Masked Cache

Brezplačno in enostavno za uporabo spletno mesto, ki omogoča predajo gesel, uporabniških imen, varnih potrdil in drugih občutljivih podatkov svojim prijateljem in sodelavcem
  • Brezplačna
  • Web