pi-calculus

There are 20 repositories under pi-calculus topic.

  • fluencelabs/aquavm

    AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

    Language:Rust143128714

  • rchain/bounties

    RChain Bounty Program

    Language:PHP908893262

  • jfaure/lfvm-stg

    Map lazy functional language constructs to LLVM IR

    Language:Haskell50311
  • stargazer

    bordaigorl/stargazer

    A simulator for visualising the evolution of π-calculus terms

    Language:HTML40502

  • less-wrong/less-wrong

    Simple CoC-based programming language

    Language:Haskell9102

  • nickng/asyncpi

    An implementation of asynchronous π-calculus in Go

    Language:Go8421

  • nekketsuuu/lambda2pi

    λ → π

    Language:Go6200

  • bhaaksema/rug-picalc

    Executable Specification of Pi-Calculus with Reduction Semantics in Maude.

    5201

  • rchain-community/behavr

    Toward Behavioral Type checking for Rholang

    Language:Scala55131

  • yann-a/pingo

    A π-calculus interpreter written in Go

    Language:Go5300

  • alexj136/gvcalc

    An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

    Language:Haskell4200

  • alexj136/nodes

    An interpreter for a pi-calculus based programming language written in scala

    Language:Scala3201

  • boystrange/FairCheck

    FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.

    Language:Haskell3100

  • Selich/Piccolo

    Language based on Pi-calculus

    Language:Haskell3300

  • octopusinvitro/particle-physics-snippets

    These are some particle physics snippets of code for personal reference. For an overview an explanation visit: http://ppsnippets.tk

    Language:C++2300

  • chicolucio/pi-approximations

    Pi approximations calculated using infinite series and Monte Carlo methods

    Language:Python121

  • lakhanshiva/PlatooningPi-Calc

    Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle

    1200

  • phlalx/chalk

    An interpreter for a higher-order pi-calculus with components

    Language:OCaml00
  • pisc

    sjbiaga/pisc

    Pi-calculus to Scala translator

    Language:Scala00

  • a13xe/ThreadedPiCalc

    Multithreaded Pi calculation using OpenMP and Win32 API in C++

    Language:C++10