Coder Social home page Coder Social logo

kyagrd / ihaskell-picalc Goto Github PK

View Code? Open in Web Editor NEW

This project forked from hnu-pl/ihaskell-pwd

2.0 1.0 0.0 441 KB

Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes

License: MIT License

Jupyter Notebook 96.46% Shell 0.14% Dockerfile 0.12% Haskell 3.28%

ihaskell-picalc's Introduction

How to run this repo

Binder NBviewer

The quickest way to try our system is clicking the launch|binder button above, which runs the Docker image of our repository on the cloud.

For better performance, you can also run the Docker image on your machine locally if you can run Docker in your machine.

FYI, on Debian or Ubuntu, you can use the following command to install and activate docker

sudo apt-get update -y
sudo apt-get install docker-ce
sudo service docker start
sudo adduser $(whoami) docker   # may need re-login after this

Once you have Docker, you can simply ./run.sh to run the Jupyter server equipped with IHaskell in a docker container. On first run, it would take some time to pull the docker image from the Internet. You need about 10GB (not mor though) of disk space for this iamge. After the server is successfullly launched, you can connect to the IP address of the machine that is running the Docker image on port 8888. So, if you are running it on your local machine, it would be localhost:8888; and if you are running it on a yet another layer of virtualized environment (e.g. linux installed via WSL2 on Windows 10), then you should connect to that IP adresss's port 8888. The token you should input to Log-in is x. Then, the Jupyter will list some directories including picalc. Go inside picalc and click on PiCalcOpenBisim.ipynb.

ihaskell-picalc's People

Contributors

kyagrd avatar

Stargazers

Tim Kersey avatar James Brock avatar

Watchers

James Cloos avatar

ihaskell-picalc's Issues

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.