Package: libghc-cryptol-doc (3.0.0-1)

[ Source: haskell-cryptol  ]

linguaggio di crittografia specifico di dominio; documentazione

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.

Questo pacchetto fornisce la documentazione per una libreria per il linguaggio di programmazione Haskell. Per maggiori informazioni su Haskell si veda http://www.haskell.org/.

Other Packages Related to libghc-cryptol-doc

• dep: haddock-interface-41

  virtual package provided by ghc

• rec: ghc-doc

  documentazione per il sistema di compilazione Haskell Glasgow

• rec: libghc-arithmoi-doc

  funzioni efficienti di base per teoria dei numeri; documentazione

• rec: libghc-async-doc

  esegue operazioni IO in modo asincrono e attende i loro risultati; documentazione

• rec: libghc-base-compat-doc

  livello di compatibilità per base; documentazione

• rec: libghc-bv-sized-doc

  bitvector datatype parameterized by the vector width; documentation

• rec: libghc-criterion-measurement-doc

  funzionalità di misura di Criterion e tipi associati; documentazione

• rec: libghc-cryptohash-sha1-doc

  implementazione di SHA-1 veloce, pura e pratica; documentazione

• rec: libghc-cryptol-dev

  linguaggio di crittografia specifico di dominio

• rec: libghc-gitrev-doc

  compila informazioni su revisioni Git in progetti Haskell; documentazione

• rec: libghc-graphscc-doc

  algoritmo di Tarjan per calcolare le SCC di un grafo; documentazione

• rec: libghc-heredoc-doc

  stringa multi-riga / documento here usando QuasiQuotes; documentazione

• rec: libghc-hgmp-doc

  Haskell interface to GMP; documentation

• rec: libghc-language-c99-doc

  implementazione di AST C99 che segue fedelmente lo standard; documentazione

• rec: libghc-language-c99-simple-doc

  AST in stile C per semplificare la scrittura di programmi C99; documentazione

• rec: libghc-libbf-doc

  collegamento alla libreria libBF; documentazione

• rec: libghc-libffi-doc

  A binding to libffi; documentation

• rec: libghc-memotrie-doc

  funzioni memo basate su trie; documentazione

• rec: libghc-monad-control-doc

  Monad transformers to lift control operations; documentation

• rec: libghc-monadlib-doc

  raccolta di trasformatori di monadi; documentazione

• rec: libghc-panic-doc

  modo comodo di andare in panico; documentazione

• rec: libghc-parameterized-utils-doc

  Classes/data structures for data-kind indexed types; documentation

• rec: libghc-prettyprinter-doc

  strumento per belle stampe estensibile, moderno, facile da usare; documentazione

• rec: libghc-sbv-doc

  symbolic Haskell theorem prover using SMT solving; documentation

• rec: libghc-simple-smt-doc

  modo semplice di interagire con un processo di risolutore SMT; documentazione

• rec: libghc-strict-doc

  varianti rigorose dei tipi di dati standard di Haskell; documentazione

• rec: libghc-tf-random-doc

  high-quality splittable pseudorandom number generator; documentation

• rec: libghc-transformers-base-doc

  lift computations from the bottom of a transformer stack; documentation

• rec: libghc-vector-doc

  array efficienti per Haskell; documentazione

• rec: libghc-what4-doc

  Solver-agnostic symbolic values support for issuing queries; documentation

• rec: libjs-mathjax

  motore di visualizzazione JavaScript per LaTeX e MathML

• sug: libghc-cryptol-prof

  linguaggio di crittografia specifico di dominio; librerie di profilazione

Download libghc-cryptol-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	1,952.2 kB	52,488.0 kB	[list of files]