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.
-
yesod-persistent
A RESTful Haskell web framework built on WAI. -
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. -
scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) -
servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more! -
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. -
neuron
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote) -
haskell-kubernetes
Haskell bindings to the Kubernetes API (via swagger-codegen) -
apecs-gloss
a fast, extensible, type driven Haskell ECS framework for games -
digestive-functors
A general way to consume input using applicative functors -
tagsoup
Haskell library for parsing and extracting information from (possibly malformed) HTML/XML documents -
airship
Helium + Webmachine = Airship. A toolkit for building declarative, RESTful web apps. -
hbro
[Unmaintained] A minimal web-browser written and configured in Haskell. -
servant-elm
Automatically derive Elm functions to query servant webservices -
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell -
kubernetes-client-core
Haskell client for the kubernetes API. A work in progress. -
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 -
telegram-bot-simple
Easy to use library for building Telegram bots in Haskell. -
ghcjs-dom
Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk
WorkOS - The modern identity platform for B2B SaaS
* 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?
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 git@github:renzyq19/pi-calculus
cd pi-calculus/pi
cabal install
Use
phi file.pi -- execute file.pi
phi -- enter REPL