Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

DeltaQ-SD/dqsd-workbench

Open more actions menu

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

∆QSD workbench

A iHaskell-based (Juypter) notebook based workbench for the ∆QSD framework

Installation

It is assumed that you are either running NixOS or have nix installed on your machine, the workbench is known to work under linux and macOS on X86 and ARM hardware.

This project makes use of the haskell.nix framework. It is recommended to add the build cache to your nix installation to speed up the workbench install.

Although some example juypter notebooks are supplied - it is recommended that you clone this repository (dqdq-workbench) in a directory structure that looks like:

├── Notebooks
│   ├── ...
│   └── ...
├── dqsd-workbench
└── run-my-workbench

You will need to create the directory Notebooks and the wrapper script run-my-workbench

Installation steps

In your target directory clone the repository

git clone https://github.com/DeltaQ-SD/dqsd-workbench.git

Make the Notebooks directory

mkdir Notebooks

At this point you might wish to copy the example notebooks from dqsd-workbench/ExampleNotebooks into your own notebook directory.

You then want to create a wrapper script (example below).

Example wrapper script

#! /usr/bin/env bash
BASEDIR=$(dirname $0)
export NOTEBOOKDIR=${BASEDIR}/Notebooks
${BASEDIR}/dqsd-workbench/run-workbench.sh $@

Upgrading

Note that the build scripts use a symbolic link to cache built notebook. After upgrading the repository:

cd dqsd-workbench; git pull

you will want to remove the iHaskell symbolic link in the dqsd-workbench, this will cause the updated version to be built when your wrapper script is next run.

About

A iHaskell-based (Juypter) notebook based workbench for the ∆QSD framework

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages

Morty Proxy This is a proxified and sanitized view of the page, visit original site.