Giter VIP home page Giter VIP logo

xinterp's Introduction

Xinterp

Xinterp is currently linked to Xinterp-D3, which is an interpreter for assigning dynamic semantics to the D3-level syntax of ATS3/Xanadu

Build Status

  • Build Status Ubuntu

Download

git clone --recursive https://github.com/xanadu-lang/xinterp.git

Prerequisites

ATS2-0.4.0 or a later version is required, which is available here

Build with ATS2

(cd xinterp && sh build.sh)

Testing

cd xinterp
./bin/xinterp -h
make -C srcgen/TEST test > output

Remarks

  • Xinterp is for debugging the implementation ATS3/Xanadu

  • Xinterp is not meant to be a practical interpreter for ATS3

  • This project should be constantly under construction for quite some time

xinterp's People

Contributors

githwxi avatar sparverius avatar xanadu-lang avatar

Stargazers

avatar Dominic Diehl avatar Timmy Jose avatar Artyom Shalkhakov avatar Isaac Young avatar Tim Kersey avatar Steven Shaw avatar avatar avatar timothy avatar

Watchers

timothy avatar avatar antonio nikishaev avatar avatar avatar

Forkers

sparverius qcfu-bu ashalkhakov

xinterp's Issues

need to define environmental variable $XATSHOME

While testing with a tentative ATS2-0.4.0 release, realized that $XATSHOME needs to be defined in the environment if xats is not already installed elsewhere -- otherwise xats compiler will not find prelude (resulting in reported errors).

To allow people to quickly test it out I suppose we could just export XATSHOME in the build script.

However as discussed, this is somewhat of a usability decision.
If the design pattern is to clone xanadu into the same directory as the extension, this may quickly become difficult to follow...

Thoughts?

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.