[ Source: haskell-cryptol ]
Package: libghc-cryptol-doc (3.0.0-1)
Links for libghc-cryptol-doc
Debian Resources:
Download Source Package haskell-cryptol:
- [haskell-cryptol_3.0.0-1.dsc]
- [haskell-cryptol_3.0.0.orig.tar.gz]
- [haskell-cryptol_3.0.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.cryptol.net]
Similar packages:
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
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,952.2 kB | 52,488.0 kB | [list of files] |