pi-calculus: Applied pi-calculus interpreter

[ gpl, program, web ] [ Propose Tags ]

Phi - an interpreter for the applied pi-calculus. Very rough around the edges.

Versions 0.0.1, 0.0.3, 0.0.4, 0.0.5
Change log changes.md
Dependencies AES (==0.2.*), base (>=4.5 && <=4.8), binary (==0.7.2.*), byteable (==0.1.*), bytestring (>=0.10), containers (==0.5.*), cryptohash (==0.11.*), HTTP (>=2.15), io-streams (==1.1.*), mtl (==2.2.*), network (==2.5.*), parsec (==3.1.*), RSA (==1.2.2.*), transformers (==0.4.*) [details]
License GPL-3.0-only
Author Will de Renzy-Martin
Maintainer will.derenzymartin@gmail.com
Category Web
Home page https://github.com/renzyq19/pi-calculus
Uploaded by renzyq19 at Tue Jun 17 08:19:28 UTC 2014
Distributions NixOS:0.0.5
Executables phi
Downloads 1422 total (54 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2015-06-06 [all 7 reports]
Hackage Matrix CI

Downloads

Maintainer's Corner

For package maintainers and hackage trustees