Topic: pi-calculus Goto Github
Some thing interesting about pi-calculus
Some thing interesting about pi-calculus
pi-calculus,Multithreaded Pi calculation using OpenMP and Win32 API in C++
User: a13xe
pi-calculus,An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
User: alexj136
pi-calculus,An interpreter for a pi-calculus based programming language written in scala
User: alexj136
pi-calculus,Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
User: bhaaksema
Home Page: https://fse.studenttheses.ub.rug.nl/25451/
pi-calculus,A simulator for visualising the evolution of π-calculus terms
User: bordaigorl
Home Page: http://stargazer.emanueledosualdo.com
pi-calculus,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.
User: boystrange
pi-calculus,Pi approximations calculated using infinite series and Monte Carlo methods
User: chicolucio
Home Page: https://piapproximations.herokuapp.com/
pi-calculus,AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
Organization: fluencelabs
pi-calculus,Map lazy functional language constructs to LLVM IR
User: jfaure
pi-calculus,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
User: lakhanshiva
pi-calculus,Simple CoC-based programming language
Organization: less-wrong
pi-calculus,An implementation of asynchronous π-calculus in Go
User: nickng
pi-calculus,These are some particle physics snippets of code for personal reference. For an overview an explanation visit: http://ppsnippets.tk
User: octopusinvitro
pi-calculus,An interpreter for a higher-order pi-calculus with components
User: phlalx
pi-calculus,Toward Behavioral Type checking for Rholang
Organization: rchain-community
pi-calculus,RChain Bounty Program
Organization: rchain
pi-calculus,Pi-calculus to Scala translator
User: sjbiaga
pi-calculus,A π-calculus interpreter written in Go
User: yann-a
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.