@hackage / pi-calculus

Applied pi-calculus interpreter

Latest0.0.5

Dependencies

executable:phi (14 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.5 && <=4.8
- License: BSD-3-Clause
@hackage / cryptohash collection of crypto hashes, fast, pure and practical
- Version: >=0.11 && <0.12
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.3
- License: BSD-3-Clause
@hackage / RSA Implementation of RSA, using the padding schemes of PKCS#1 v2.1.
- Version: >=1.2.2 && <1.2.3
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4 && <0.5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version: >=0.7.2 && <0.7.3
- License: BSD-3-Clause
@hackage / AES Fast AES encryption/decryption for bytestrings
- Version: >=0.2 && <0.3
- License: BSD-3-Clause
@hackage / network Low-level networking interface
- Version: >=2.5 && <2.6
- License: BSD-3-Clause
@hackage / io-streams Simple, composable, and easy-to-use stream I/O
- Version: >=1.1 && <1.2
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10
- License: BSD-3-Clause
@hackage / parsec Monadic parser combinators
- Version: >=3.1 && <3.2
- License: BSD-2-Clause
@hackage / HTTP A library for client-side HTTP
- Version: >=2.15
- License: BSD-3-Clause
@hackage / byteable Type class for sequence of bytes
- Version: >=0.1 && <0.2
- License: BSD-3-Clause