Package: cryptol (2.6.0-3 and others)

[ Source: haskell-cryptol  ]

linguaggio di crittografia specifico di dominio

Cryptol è un linguaggio specifico di dominio per specificare algoritmi crittografici. L'implementazione di un algoritmo in Cryptol assomiglia più da vicino alla sua specifica matematica di quanto non faccia un'implementazione in un linguaggio di uso universale.

Other Packages Related to cryptol

• dep: libatomic1 (>= 4.8)

  libreria ausiliaria che fornisce funzioni __atomic incorporate

• dep: libc6 (>= 2.27) [amd64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.28) [i386]

• dep: libffi6 (>= 3.0.4)

  libreria eseguibile Foreign Function Interface

• dep: libgmp10

  libreria aritmetica a precisione multipla

• dep: libtinfo6 (>= 6)

  libreria condivisa di basso livello terminfo per la gestione del terminale

• dep: z3

  dimostratore di teoremi di Microsoft Research

Download cryptol

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	2.6.0-3+b1	2,370.0 kB	15,873.0 kB	[list of files]
i386	2.6.0-3+b1	2,362.4 kB	12,351.0 kB	[list of files]