Name: Xanadu
Type: User
Company: ATS Trustful Software, Inc.
Bio: This is a site for the Xanadu programming language system that primarily hosts tools contributed by various interested parties.
Location: Boston, Massachusetts, USA
Xanadu's Projects
For contribution to ATS3 of all sorts
This repository is supposed to hold a released version of Xanadu
For presenting various projects under xanadu-lang
A compiler for translating the H0-level syntax of ATS3/Xanadu into JavaScript.
For generating C-types based the H0-level syntax
Implementing LSP for Xanadu
For libxatsopt
For tracking effects and more in XATSCML
For supporting static debugging based on a form of linear DML-style of dependent types
An interpreter for the D3-level syntax of ATS3/Xanadu
An interpreter for ATS/Xanadu that is based on the H0-syntax
For experimenting with UNIX-like systems programming in ATS3