-
-
Notifications
You must be signed in to change notification settings - Fork 84
/
cryptol.scroll
64 lines (57 loc) · 2.03 KB
/
cryptol.scroll
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
import ../code/conceptPage.scroll
id cryptol
name Cryptol
appeared 2014
creators Adam C. Foltzer
tags pl
website https://galois.com/
latestVersion 3.2.2
isOpenSource true
writtenIn haskell tex python markdown restructuredtext javascript html make yaml bourne-shell c css dockerfile perl svg yacc logos vim-script bash toml diff ini xml powershell
tryItOnline cryptol
fileType text
centralPackageRepositoryCount 0
repoStats
firstCommit 2014
commits 4608
committers 90
files 1780
newestCommit 2024
country United States
originCommunity Galois,Inc
pygmentsHighlighter Cryptol
filename haskell.py
fileExtensions cry
leachim6 Cryptol
filepath c/Cryptol
example
:set ascii=on
"Hello World"
githubRepo https://github.com/GaloisInc/cryptol
firstCommit 2014
stars 1014
forks 111
subscribers 59
created 2014
updated 2022
description Cryptol: The Language of Cryptography
issues 171
stringToken "
hasStrings true
"Hello world"
hasOctals true
hasHexadecimals true
hasFloats true
hasIntegers true
hasLineComments true
hasMultiLineComments true
hasComments true
jupyterKernel https://github.com/GaloisInc/ICryptol
wikipedia https://en.wikipedia.org/wiki/Cryptol
summary Cryptol is a domain specific programming language for cryptography developed by the Portland, Oregon based software development firm, Galois, Inc.. The language was originally developed for use by the United States National Security Agency. The language is also used by private firms that provide information technology systems, such as the American company Rockwell Collins provides to aerospace and defense contractors in the United States.The programming language is used for all aspects of developing and using cryptography, such as the design and implementation of new ciphers and the verification of existing cryptographic algorithms. Cryptol is designed to allow the cryptographer to watch how stream processing functions in the program manipulate the ciphers or encryption algorithms.
pageId 20921449
created 2008
backlinksCount 28
revisionCount 64
dailyPageViews 10
appeared 2003