id
name
related bits
0
processing priority
4
site type
0 (generic, awaiting analysis)
review version
11
html import
20 (imported)
first seen date
2023-12-17 09:03:18
expired found date
-
created at
2024-06-10 09:33:52
updated at
2026-01-04 00:04:04
length
14
crc
57981
tld
2688
nm parts
0
nm random digits
0
nm rare letters
0
is subdomain of id
-
previous id
0
replaced with id
0
related id
-
dns primary id
dns alternative id
0
lifecycle status
0 (unclassified, or currently active)
deleted subdomains
0
page imported products
0
page imported random
0
page imported parking
0
count skipped due to recent timeouts on the same server IP
0
count content received but rejected due to 11-799
0
count dns errors
0
count cert errors
0
count timeouts
1
count http 429
0
count http 404
0
count http 403
0
count http 5xx
0
next operation date
-
server bits
—
server ip
-
mp import status
20
mp rejected date
-
mp saved date
-
mp size orig
28054
mp size raw text
17912
mp inner links count
13
mp inner links status
20 (imported)
title
description
image
site name
author
updated
2025-12-22 16:24:43
raw text
F*: A Proof-Oriented Programming Language Introduction Download Learn Community Uses Research People Introduction F* (pronounced F star ) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or Wasm by a tool called KaRaMeL , or to assembly using the Vale toolchain. F* is implemented in F* and bootstrapped using OCaml. F* is open source on GitHub and is under active development by Microsoft Research , Inria , and by the community. Download F* is distributed under the Apache 2.0 license . Binaries for Windows, Linux, and Mac OS X are posted regularly on the releases page on GitHub . You can also install F* from OP...
redirect type
0 (-)
block type
0 (no issues)
detected language
1 (English)
category id
index version
2025123101
spam phrases
0
text nonlatin
0
text cyrillic
0
text characters
12595
text words
2277
text unique words
716
text lines
458
text sentences
96
text paragraphs
57
text words per sentence
23
text matched phrases
1
text matched dictionaries
6
links self subdomains
0
links other subdomains
30 - prosecco.gforge.inria.fr, eci2019.dc.uba.ar, everestexpedition.slack.com, fstar.zulipchat.com, blog.mozilla.org, dl.acm.org, eprint.iacr.org, ieeexplore.ieee.org, link.springer.com, kirby.linvill.net, icfp22.sigplan.org, amosr.amospheric.com, inria.hal.science
links other domains
9 - electionguard.vote, wireguard.com, usenix.org, jaybosamiya.com, cambridge.org, doi.org, inria.fr
links spam adult
0
links spam random
0
links spam expired
0
links ext activities
10
links ext ecommerce
0
links ext finance
0
links ext crypto
0
links ext booking
0
links ext news
0
links ext leaks
0
links ext ugc
23 - reddit.com
links ext klim
0
links ext generic
10
dol status
0
dol updated
2025-12-22 16:24:43
rss path
rss status
1 (priority 1 already searched, no matches found)
rss found date
-
rss size orig
0
rss items
0
rss spam phrases
0
rss detected language
0 (awaiting analysis)
inbefore feed id
-
inbefore status
0 (new)
sitemap path
sitemap status
1 (priority 1 already searched, no matches found)
sitemap review version
1
sitemap urls count
0
sitemap urls adult
0
sitemap filtered products
0
sitemap filtered videos
0
sitemap found date
-
sitemap process date
2024-07-02 10:09:03
sitemap first import date
-
sitemap last import date
-