FSTAR-LANG.ORG: Keyword Density Checker

Total words: 7343 | 2-word phrases: 1913 | 3-word phrases: 2281 | 4-word phrases: 2373

PAGE INFO

Title	Try to keep the title under 60 characters (41 characters) F*: A Proof-Oriented Programming Language
Description	Try to keep the meta description between 50 - 160 characters (0 characters)
Keywords	Meta keywords are not recommended anymore (0 characters)
H1	H1 tag on the page (12 characters) Introduction

ONE WORD PHRASES 776 Words

#	Keyword	Frequency	Density
1	a	88	11.34%
2	the	82	10.57%
3	in	80	10.31%
4	of	77	9.92%
5	f	69	8.89%
6	and	64	8.25%
7	for	56	7.22%
8	which	52	6.70%
9	to	40	5.15%
10	verified	28	3.61%

TWO WORD PHRASES 1913 Words

#	Keyword	Frequency	Density
1	in f	29	1.52%
2	f a	24	1.25%
3	f the	19	0.99%
4	of the	19	0.99%
5	of f	14	0.73%
6	of a	12	0.63%
7	f an	11	0.58%
8	which describes	10	0.52%
9	f and	10	0.52%
10	describes the	9	0.47%
11	is a	9	0.47%
12	for a	9	0.47%
13	programming language	9	0.47%
14	separation logic	8	0.42%
15	the f	8	0.42%
16	2021 which	7	0.37%
17	a verified	7	0.37%
18	dijkstra monad	7	0.37%
19	2022 which	6	0.31%
20	project everest	6	0.31%

THREE WORD PHRASES 2281 Words

#	Keyword	Frequency	Density
1	which describes the	6	0.26%
2	concurrent separation logic	5	0.22%
3	in f a	5	0.22%
4	in f and	4	0.18%
5	embedded in f	4	0.18%
6	dijkstra monads for	4	0.18%
7	the design of	3	0.13%
8	several projects in	3	0.13%
9	in several projects	3	0.13%
10	which proves the	3	0.13%
11	the dijkstra monad	3	0.13%
12	verified implementation of	3	0.13%
13	a framework for	3	0.13%
14	2019 which describes	3	0.13%
15	separation logic for	3	0.13%
16	as well as	3	0.13%
17	that can be	3	0.13%
18	implementation of the	3	0.13%
19	replicated data types	2	0.09%
20	basis of the	2	0.09%
21	oregon programming language	2	0.09%
22	pldi 2022 which	2	0.09%
23	version of f	2	0.09%
24	sp 2021 a	2	0.09%
25	a verified implementation	2	0.09%
26	programming language summer	2	0.09%
27	parser generator for	2	0.09%
28	language summer school	2	0.09%
29	in f popl	2	0.09%
30	describes the design	2	0.09%

FOUR WORD PHRASES 2373 Words

#	Keyword	Frequency	Density
1	in several projects in	3	0.13%
2	oregon programming language summer	2	0.08%
3	we also have a	2	0.08%
4	to c by karamel	2	0.08%
5	compiled to c by	2	0.08%
6	be compiled to c	2	0.08%
7	can be compiled to	2	0.08%
8	f and develops a	2	0.08%
9	lowlevel subset of f	2	0.08%
10	a lowlevel subset of	2	0.08%
11	list a few of	2	0.08%
12	we list a few	2	0.08%
13	2019 which describes the	2	0.08%
14	programming embedded in f	2	0.08%
15	dijkstra monads for free	2	0.08%
16	in several projects including	2	0.08%
17	production in several projects	2	0.08%
18	in production in several	2	0.08%
19	used in production in	2	0.08%
20	which describes the steel	2	0.08%
21	concurrent separation logic for	2	0.08%
22	tutorialstyle introduction to dy	2	0.08%
23	the basis of the	2	0.08%
24	symbolic security analysis of	2	0.08%
25	2023 which provides a	2	0.08%
26	in security and cryptography	2	0.08%
27	2021 which proves the	2	0.08%
28	which proves the correctness	2	0.08%
29	programming language summer school	2	0.08%
30	a verified implementation of	2	0.08%
31	describes the design of	2	0.08%
32	lecture notes slides code	2	0.08%
33	proven correct in f	2	0.08%
34	dijkstra monads for a	2	0.08%
35	the design of f	2	0.08%
36	the oregon programming language	2	0.08%
37	management protocol using dy	1	0.04%
38	2022 which metaprograms provably	1	0.04%
39	which is yes a	1	0.04%
40	2021 which is yes	1	0.04%

EXTERNAL LINKS

#	URL	Whois	Check
1	https://github.com/FStarLang/karamel	Whois	github.com
2	https://github.com/project-everest/vale	Whois	github.com
3	http://github.com/FStarLang/FStar	Whois	github.com
4	http://research.microsoft.com	Whois	microsoft.com
5	http://prosecco.gforge.inria.fr/	Whois	inria.fr
6	https://raw.githubusercontent.com/FStarLang/FStar/master/LICENSE	Whois	githubusercontent.com
7	https://github.com/fstarlang/fstar/releases	Whois	github.com
8	https://github.com/FStarLang/FStar/blob/master/INSTALL.md	Whois	github.com
9	https://www.cs.uoregon.edu/research/summerschool/summer21/	Whois	uoregon.edu
10	https://eci2019.dc.uba.ar/	Whois	uba.ar
11	https://www.cs.uoregon.edu/research/summerschool/summer19/	Whois	uoregon.edu
12	https://sites.google.com/view/2018eutypesschool/home	Whois	google.com
13	https://sites.google.com/view/2018eutypesschool/ahman	Whois	google.com
14	https://groups.google.com/g/fstar-mailing-list	Whois	google.com
15	https://groups.google.com/g/fstar-mailing-list	Whois	google.com
16	https://project-everest.github.io	Whois	github.io
17	https://hacl-star.github.io/	Whois	github.io
18	https://github.com/hacl-star/hacl-star/tree/main/vale	Whois	github.com
19	https://hacl-star.github.io/EverCryptDoc.html	Whois	github.io
20	https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/	Whois	mozilla.org
21	https://github.com/torvalds/linux/blob/0f2a4af27b649c13ba76431552fe49c60120d0f6/lib/crypto/curve25519-hacl64.c#L1	Whois	github.com
22	https://github.com/python/cpython/issues/99108	Whois	github.com
23	https://github.com/Mbed-TLS/mbedtls/blob/development/3rdparty/everest/	Whois	github.com
24	https://www.reddit.com/r/tezos/comments/8hrsz2/tezos_switches_cryptographic_libraries_from/	Whois	reddit.com
25	https://www.electionguard.vote/	Whois	electionguard.vote
26	https://www.wireguard.com	Whois	wireguard.com
27	https://project-everest.github.io/everparse/	Whois	github.io
28	https://www.microsoft.com/en-us/research/blog/everparse-hardening-critical-attack-surfaces-with-formally-proven-message-parsers/	Whois	microsoft.com
29	https://github.com/microsoft/ebpf-for-windows	Whois	github.com
30	https://arxiv.org/abs/2405.01787	Whois	arxiv.org
31	https://www.cambridge.org/core/journals/journal-of-functional-programming/article/secure-distributed-programming-with-valuedependent-types/14288BBFE9B373738DC8F60C3E89E3E3	Whois	cambridge.org
32	http://research.microsoft.com	Whois	microsoft.com
33	https://www.microsoft.com/en-us/research/collaboration/inria-joint-centre/	Whois	microsoft.com
34	http://www.inria.fr	Whois	inria.fr