pi-calculus alternatives and similar packages
Based on the "Web" category.
Alternatively, view pi-calculus alternatives based on common mentions on social networks and blogs.
-
swagger-petstore
swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition. -
haskell-bitmex-rest
swagger-codegen contains a template-driven engine to generate documentation, API clients and server stubs in different languages by parsing your OpenAPI / Swagger definition. -
servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! -
-
-
yesod-persistent
A RESTful Haskell web framework built on WAI. -
scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) -
neuron
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) -
-
-
-
-
airship
Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. -
apecs-gloss
a fast, extensible, type driven Haskell ECS framework for games -
haskell-kubernetes
Haskell bindings to the Kubernetes API (via swagger-codegen) -
digestive-functors
A general way to consume input using applicative functors -
-
servant-elm
Automatically derive Elm functions to query servant webservices -
-
hbro
[Unmaintained] A minimal web-browser written and configured in Haskell. -
tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents -
-
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell -
kubernetes-client-core
Haskell client for the kubernetes API. A work in progress. -
engine-io
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols -
-
keera-hails-reactive-htmldom
Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications -
ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC -
android-lint-summary
Prettier display of Android Lint issues
Clean code begins in your IDE with SonarLint
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of pi-calculus or a related project?
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|
Popular Comparisons
-
pi-calculusvshaskell-kubernetes
-
lolivstelegram-api
-
haskell-proxy-listvsservant-elm
-
servant-lucidvsservant-blaze
-
ssh-tunnelvstelegram-api
|
SaaSHub - Software Alternatives and Reviews
sponsored
www.saashub.com
|
README
pi-calculus
Implementation of a New Web Language
The applied pi-calculus is a small, formal, and very expressive language to describe computations based on processes sending messages to each other. It is used in industry and in academia in particular to describe realistic security protocols, whose security can then be analyzed with static analysis tools.
A limitation of this approach is that models expressed in the applied pi-calculus are not directly executable, and therefore cannot be used as proof-of-concept implementations, and cannot be debugged very easily.
The goal of the project is to provide an implementation for the language so that for example the applied-pi model of a web protocol (such as the OAuth authentication protocol used by Facebook, Yahoo, Twitter, etc.) can be directly executed, iteroperably, with existing JavaScript and PHP based implementations. The resulting language will be a novel, concise, general purpose langauge for web tinkering (the equivalent of a shell script langauge in Linux).
Author: Will de Renzy-Martin
Supervisor: Sergio Maffeis
Installation
hackage:
cabal update
cabal install pi-calculus
From source:
git clone [email protected]:renzyq19/pi-calculus
cd pi-calculus/pi
cabal install
Use
phi file.pi -- execute file.pi
phi -- enter REPL