ats2-lang-contrib

External Contributions to the ATS2 PL System

Brought to you by: ats-hwxi

Add a Review

Downloads: 3 This Week

Last Update: 2017-11-10

Download

Get an email when there's a new version of ats2-lang-contrib

This project primarily consists of external contributions made to the ATS2 programming language system in the forms of library packages, tutorials, examples, and all sorts of documentation, etc.

Project Activity

See All Activity >

Follow ats2-lang-contrib

ats2-lang-contrib Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

User Reviews

Be the first to post a review of ats2-lang-contrib!

Additional Project Details

Registered

2013-09-15

Report inappropriate content

Recommended Projects

ats2-lang
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are...
QtContribs - Harbour Qt Projects
This is the repository to host all those Harbour's contrib libraries and applications which could not comply with strict Harbour project goals but had the potentiality to march into the future. The goal is to keep this repository parallel with Harbours contrib and use the same build system...
jupyter-themer
Apply custom CSS styling to your jupyter notebooks. Contributions are welcome!
VBScript Development Kit (VDK)
The VBScript Development Kit (VDK) is a VBScript compliant development library to be used in any host that has support for Windows Script Host (WSH). Modelled after the Java Development Kit (JDK), the VDK adds programming features/concepts prevalent in other higher order programming languages...
ToaruOS
ToaruOS is a "complete" operating system for x86-64 PCs and experimental support for ARMv8. While many independent, hobby, and research OSes aim to experiment with new designs, ToaruOS is intended as an educational resource, providing a representative microcosm of functionality found in major...