This repository has been archived by the owner on Jul 27, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
adasearch.html
92 lines (92 loc) · 4.44 KB
/
adasearch.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<!DOCTYPE html>
<html lang="en">
<head>
<title>Search for Ada/SPARK on the Web</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
div#center {
margin: 5%;
}
details > summary {
text-align: center;
}
details[open] {
border-radius: 10px;
padding: 0 1% 1%;
background-color: #1D2021;
}
footer {
font-size: small;
margin: 1%;
text-align: center;
}
div#center2 {
text-align: center;
}
div#center3 {
text-align: center;
margin-top: 3%;
}
input[type=search] {
width: 90%;
margin: 3px;
}
</style>
<link href="assets/css/style.css" rel="stylesheet" />
</head>
<body>
<h1 class="title">Search for Ada/SPARK on the Web</h1>
<div id="center">
<div id="center2">Search for a phrase in Google:</div>
<!-- This is the whole code needed for the search engine. If you want to add it to your webpage, copy text between comments --!>
<script async src="https://cse.google.com/cse.js?cx=009829025445605706198:-dt42nxzgi8"></script>
<div class="gcse-searchbox-only"></div>
<!-- End of the search engine --!>
<div>
<details>
<summary>Google Fu moves:</summary>
<ul>
<li>Exact phrase: <code>"use quotes around"</code></li>
<li>All of the words: <code>just plain words</code></li>
<li>One of the words (separate by <b>OR</b>): <code>this OR that OR word</code></li>
<li>Without the words (start the word with the <b>minus</b> sign): <code>-not -this -words</code></li>
<li>Numbers range: (the range with units) <code>10..20 kg</code> (just the range) <code>2011..2014</code></li>
<li>Only the selected page: <code>site:example.com</code></li>
<li>Older than the selected date: <code>before:YYYY-MM-DD</code></li>
<li>Newer than the selected date: <code>after:YYYY-MM-DD</code></li>
</ul>
<p>Of course you can merge any of these moves to create a combo :)</p>
</details>
</div>
<div>
<details>
<summary>About:</summary>
<p>Search for the Ada language or its subset SPARK related things on the Web. This search engine is powered by Google Programmable Search Engine. After showing results of your query, you can sort your them by relevance or date. The search engine is customized to find only Ada/SPARK related things, thus queries like "gps" return only "GNAT Programming Studio" related pages.</p>
</details>
</div>
<div id="center3">Search for an Ada code in searchcode:</div>
<form method="get" action="https://searchcode.com/?">
<input type="search" id="q" name="q">
<input type="hidden" id="lan" name="lan" value="61">
<input type="submit" value="Search">
</form>
<div>
<details>
<summary>About:</summary>
<p>Search for phrase in the Open Source Ada programming langauge programs. This search engine is powered by searchcode. The search engine is customized to looking only for code written in Ada.</p>
</details>
</div>
<p>More information about the Ada and SPARK on the Web:</p>
<ul>
<li><a href="https://en.wikipedia.org/wiki/Ada_(programming_language)">Ada in Wikipedia</a></li>
<li><a href="https://en.wikipedia.org/wiki/SPARK_(programming_language)">SPARK in Wikipedia</a></li>
<li><a href="https://github.com/ohenley/awesome-ada">Awesome Ada - A curated list of resources related to the Ada and SPARK</a></li>
</ul>
</div>
<footer>
<p>If you have any questions, problems or ideas related to the search engine (and its UI) please use the <a href="https://www.laeran.pl/repositories/adasearch">Fossil project</a> page.</p>
<p>Privacy policy related to the search engines are that same like <a href="https://policies.google.com/privacy">Google privacy and terms</a> and <a href="https://searchcode.com/about/">searchcode privacy and terms</a></p>
</footer>
</body>
</html>