This is stars and forks stats for /GaloisInc/cryptol repository. As of 28 Apr, 2024 this repository has 1068 stars and 128 forks.
Cryptol, version 3 This version of Cryptol is (C) 2013-2023 Galois, Inc., and distributed under a standard, three-clause BSD license. Please see the file LICENSE, distributed with this software, for specific terms and conditions. What is Cryptol? The Cryptol specification language was designed by Galois for the NSA Laboratory for Advanced Cybersecurity Research as a public standard for specifying cryptographic algorithms. A Cryptol reference specification can serve as the formal documentation for...
Cryptol, version 3 This version of Cryptol is (C) 2013-2023 Galois, Inc., and distributed under a standard, three-clause BSD license. Please see the file LICENSE, distributed with this software, for specific terms and conditions. What is Cryptol? The Cryptol specification language was designed by Galois for the NSA Laboratory for Advanced Cybersecurity Research as a public standard for specifying cryptographic algorithms. A Cryptol reference specification can serve as the formal documentation for...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| MasterEric/hxcpp-interop-testbench | HaxeCC++ | 22 | 0 | 1 | 0 |
| Skoolgq/skoolgq.github.io | JavaScriptHTMLCSS | 2 | 0 | 467 | 0 |
| cjbi/admin3 | JavaVueTypeScript | 1.1k | 0 | 395 | 0 |
| LinkedInLearning/javascript-essential-training-2832077 | JavaScriptHTMLCSS | 1.5k | 0 | 2.9k | 0 |
| cksystemsteaching/selfie | Jupyter NotebookCPython | 2.3k | 0 | 299 | 0 |
| Dr-TSNG/TwiFucker | KotlinC++C | 1.1k | 0 | 51 | 0 |
| horizontalsystems/unstoppable-wallet-android | KotlinOther | 690 | 0 | 346 | 0 |
| brandokoch/neovim-ide | LuaDockerfile | 16 | 0 | 0 | 0 |
| ece362-purdue/f2022-lab-1 | MakefileAssemblyShell | 0 | 0 | 0 | 0 |
| DreamingInBinary/Spend-Stack-Public | Objective-CSwiftOther | 192 | 0 | 16 | 0 |