GitHub topics: pi-calculus
bogo8liuk/pir
Pi-calculus as Intermediate Representation
Language: Rust - Size: 86.9 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 1 - Forks: 0
fluencelabs/aquavm
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
Language: Rust - Size: 21.5 MB - Last synced at: 6 days ago - Pushed at: 20 days ago - Stars: 151 - Forks: 16
nickng/asyncpi
An implementation of asynchronous π-calculus in Go
Language: Go - Size: 804 KB - Last synced at: 22 days ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0
chicolucio/pi-approximations
Pi approximations calculated using infinite series and Monte Carlo methods
Language: Python - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
sjbiaga/pisc-dotarrow
DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator
Language: Scala - Size: 161 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
rchain-community/behavr
Toward Behavioral Type checking for Rholang
Language: Scala - Size: 34.2 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 1
bordaigorl/stargazer
A simulator for visualising the evolution of π-calculus terms
Language: HTML - Size: 1.21 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 40 - Forks: 2
sjbiaga/pisc
Pi-calculus to Scala translator
Language: Scala - Size: 391 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
rchain/bounties 📦
RChain Bounty Program
Language: PHP - Size: 36.8 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 90 - Forks: 62
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Language: Haskell - Size: 45.9 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
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
Size: 57.6 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
alexj136/nodes
An interpreter for a pi-calculus based programming language written in scala
Language: Scala - Size: 1.46 MB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1
nekketsuuu/lambda2pi
λ → π
Language: Go - Size: 33.2 KB - Last synced at: 24 days ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 0
Selich/Piccolo
Language based on Pi-calculus
Language: Haskell - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0
jfaure/lfvm-stg
Map lazy functional language constructs to LLVM IR
Language: Haskell - Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 50 - Forks: 0
bhaaksema/rug-picalc
Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
less-wrong/less-wrong
Simple CoC-based programming language
Language: Haskell - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 2
yann-a/pingo
A π-calculus interpreter written in Go
Language: Go - Size: 916 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0
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: Haskell - Size: 1.36 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
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++ - Size: 1.23 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0
phlalx/chalk
An interpreter for a higher-order pi-calculus with components
Language: OCaml - Size: 67.4 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
