-
-
gocui Public
Forked from jroimartin/gocuiMinimalist Go package aimed at creating Console User Interfaces.
Go BSD 3-Clause "New" or "Revised" License UpdatedApr 21, 2016 -
dclxvi Public
Forked from agl/dclxviNaehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.
Assembly UpdatedApr 19, 2016 -
-
-
-
python-drbg Public
Cryptographically Secure PRNG for Python
-
llvm-semantics Public
Formal semantics of LLVM IR in K
-
halicore Public
Forked from atomb/core-to-isabelleTranslator from GHC Core to Isabelle/HOLCF
-
-
-
generic-k Public
Convert Haskell values into K terms and vice versa
-
-
language-k Public
Types and parsers for the K semantic framework
-
fresh Public
Introduce fresh variables into Haskell source code
-
-
-
keccak-cryptol Public
Cryptol specification of the Keccak (SHA-3) hash function
-
-
process-extras Public
Extra functionality for the Process library
-
-
-
-
-
-
cryptol Public
Forked from GaloisInc/cryptolCryptol: The Language of Cryptography
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 24, 2014 -
syb Public
Forked from dreixel/sybScrap Your Boilerplate generic programming library in Haskell
Haskell Other UpdatedApr 3, 2014 -
-
-
alex Public
Forked from haskell/alexA lexical analyser generator for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2013
{{ message }}