https://github.com/nthiery/awali-online

A binder-enabled repository for an online demo of awali
https://github.com/nthiery/awali-online

Last synced: about 2 months ago
JSON representation

A binder-enabled repository for an online demo of awali

• Host: GitHub
• URL: https://github.com/nthiery/awali-online
• Owner: nthiery
• Created: 2019-02-15T21:24:00.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-03-05T21:12:38.000Z (10 months ago)
• Last Synced: 2024-03-06T14:49:26.809Z (10 months ago)
• Language: Jupyter Notebook
• Size: 152 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Try [awali](http://vaucanson-project.org/Awali/index.html) online

All notebooks : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master)

The notebooks folder contains seven notebooks :

1. Edition, visualisation and traversal of boolean automata (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F1-Edition1.ipynb))

2. Edition, visualisation and traversal of boolean transducers (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F2-Edition2.ipynb))

3. Edition, visualisation and traversal of weighted automata (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F3-Edition3.ipynb))

4. Classical Transformations about graphs (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F4-ClassicalTransformations1.ipynb))

5. Classical Transformations about boolean automata (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F5-ClassicalTransformations2.ipynb))

6. Introduction to (weighted) rational expressions (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F6-RationalExpression.ipynb))

7. Getting Started With Cora, the command line interfce to awali (Quick access : [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/nthiery/awali-online/master?labpath=notebooks%2F7-GettingStartedWithCora.ipynb))