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:
Domænespecifik sprog for kryptografi - dokumentation
Cryptol er et domænespecifikt sprog for specifikation af kryptografiske algoritmer. En Cryptol-implementering for en algoritme ligner dens matematiske specifikation mere tæt end en implementering i et alment sprog.
Denne pakke tilbyder dokumentationen for et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.
Other Packages Related to libghc-cryptol-doc
|
|
|
|
-
- dep: haddock-interface-41
- virtual package provided by ghc
-
- rec: ghc-doc
- Dokumentation for Glasgow Haskell Compilation-systemet
-
- rec: libghc-arithmoi-doc
- efficient basic number-theoretic functions; documentation
-
- rec: libghc-async-doc
- run IO operations asynchronously and wait for their results; documentation
-
- rec: libghc-base-compat-doc
- compatibility layer for base; documentation
-
- rec: libghc-bv-sized-doc
- Bitvektordatatype parameteropsat af vektorbredden - dokumentation
-
- rec: libghc-criterion-measurement-doc
- Criterion measurement functionality and associated types; documentation
-
- rec: libghc-cryptohash-sha1-doc
- Hurtig, ren og praktisk SHA-256-implementering - dokumentation
-
- rec: libghc-cryptol-dev
- Domænespecifikt sprog for kryptografi
-
- rec: libghc-gitrev-doc
- compile git revision info into Haskell projects; documentation
-
- rec: libghc-graphscc-doc
- Tarjans algoritme for beregning af SCC'er for en graf - dokumentation
-
- rec: libghc-heredoc-doc
- Streng med flere linjer/here-dokument der bruger QuasiQuotes - dokumentation
-
- rec: libghc-hgmp-doc
- Haskell interface to GMP; documentation
-
- rec: libghc-language-c99-doc
- Impl. of C99 AST that strictly follows the standard; documentation
-
- rec: libghc-language-c99-simple-doc
- C-like AST to simplify writing C99 programs.; documentation
-
- rec: libghc-libbf-doc
- Binding til libBF-biblioteket - dokumentation
-
- rec: libghc-libffi-doc
- En binding til libffi - dokumentation
-
- rec: libghc-memotrie-doc
- Trie-baseret memo-funktioner - dokumentation
-
- rec: libghc-monad-control-doc
- Monadtransformere til kontrol af løfteoperationer - dokumentation
-
- rec: libghc-monadlib-doc
- Samling af monad-transformere - dokumentation
-
- rec: libghc-panic-doc
- Praktisk måde til panic - dokumentation
-
- rec: libghc-parameterized-utils-doc
- Classes/data structures for data-kind indexed types; documentation
-
- rec: libghc-prettyprinter-doc
- modern, easy-to-use, extensible prettyprinter; documentation
-
- rec: libghc-sbv-doc
- Symbolsk Haskell-teoribeviser der bruger SMT-løsning - dokumentation
-
- rec: libghc-simple-smt-doc
- En simpel måde at interagere med en SMT-løserproces - dokumentation
-
- rec: libghc-strict-doc
- Strict-varianter for Haskells standarddatatyper - dokumentation
-
- rec: libghc-tf-random-doc
- high-quality splittable pseudorandom number generator; documentation
-
- rec: libghc-transformers-base-doc
- Løft beregninger fra bunden af en transformerstak - dokumentation
-
- rec: libghc-vector-doc
- Efficient Arrays for Haskell; documentation
-
- rec: libghc-what4-doc
- Solver-agnostic symbolic values support for issuing queries; documentation
-
- rec: libjs-mathjax
- JavaScript-visningsmotor for LaTeX og MathML
-
- sug: libghc-cryptol-prof
- Domænespecifik sprog for kryptografi - profileringsbiblioteker
Download libghc-cryptol-doc
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 1,952.2 kB | 52,488.0 kB | [list of files] |