Skip to content
Sections
>> Trisquel >> Pakete >> aramo >> haskell >> libghc-cryptol-prof
etiona  ] [  nabia  ] [  aramo  ]
[ Quellcode: haskell-cryptol  ]

Paket: libghc-cryptol-prof (2.8.0-1build5.1)

domain-specific language of cryptography; profiling libraries

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language.

This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Andere Pakete mit Bezug zu libghc-cryptol-prof

  • hängt ab von
  • empfiehlt
  • schlägt vor

libghc-cryptol-prof herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 4.611,9 kB48945 kB [Liste der Dateien]
arm64 5.251,9 kB54555 kB [Liste der Dateien]
armhf 5.054,4 kB40206 kB [Liste der Dateien]
ppc64el 6.690,3 kB78266 kB [Liste der Dateien]